Building High Integrity Applications with SPARK
| Author | : John W. McCormick |
| Publisher | : Cambridge University Press |
| Total Pages | : 383 |
| Release | : 2015-08-31 |
| ISBN-10 | : 9781107040731 |
| ISBN-13 | : 1107040736 |
| Rating | : 4/5 (736 Downloads) |
Book Synopsis Building High Integrity Applications with SPARK by : John W. McCormick
Download or read book Building High Integrity Applications with SPARK written by John W. McCormick and published by Cambridge University Press. This book was released on 2015-08-31 with total page 383 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
