Blog
Sep 3 '15
New SPARK 2014 Book Available
by brukardt
The all-new SPARK book by John McCormick and Peter Chapin, “Building High Integrity Applications with SPARK”, was recently published. The book will allow developers to master the basic concepts for building systems with SPARK 2014.
