John W. McCormick

John W. McCormick

John W. McCormick has written at least 2 books. Their most popular book is Building High Integrity Applications with SPARK with 1 save with an average rating of -⭐.

Building High Integrity Applications with SPARK

Building High Integrity Applications with SPARK
ByJohn W. McCormick,Peter C Chapin

2015 • 1 Reader • 383 pages

Building parallel, embedded, and real-time applications with Ada