Building High Integrity Applications with SPARK
Download or Read eBook Building High Integrity Applications with SPARK PDF 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.
| Author | : John W. McCormick |
| Publisher | : Cambridge University Press |
| Total Pages | : 383 |
| Release | : 2015-08-31 |
| ISBN-10 | : 9781107040731 |
| ISBN-13 | : 1107040736 |
| Rating | : 4/5 (31 Downloads) |
Book Synopsis Building High Integrity Applications with SPARK by : John W. McCormick
Book excerpt: This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
