Building High Integrity Applications with SPARK - McCormick, John W. (University of Northern Iowa) - Books - Cambridge University Press - 9781107656840 - August 31, 2015
In case cover and title do not match, the title is correct

McCormick, John W. (University of Northern Iowa)
Building High Integrity Applications with SPARK

Price
$ 87.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 8 - 12

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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. This first introduction to SPARK 2014 will allow students and developers to master the basic concepts for building systems with SPARK.

379 pages, 13 b/w illus. 14 tables 119 exercises

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 31, 2015
ISBN13 9781107656840
Publishers Cambridge University Press
Pages 382
Dimensions 228 × 155 × 22 mm   ·   550 g
Language English  

Mere med samme udgiver

See all of McCormick, John W. (University of Northern Iowa) ( e.g. Hardcover Book and Paperback Book )