Paperback
Add to list Added to list Building High Integrity Applications with SPARK
John W. McCormick (University of Northern Iowa),Peter C. Chapin
The formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for designing safety- and security-critical applications…
Available to order, ships in approx 2 weeksAvailable to order