Building High Integrity Applications with SPARK - McCormick, John W. (University of Northern Iowa) - Books - Cambridge University Press - 9781107040731 - 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
$ 193.99
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.

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released August 31, 2015
ISBN13 9781107040731
Publishers Cambridge University Press
Pages 382
Dimensions 237 × 162 × 25 mm   ·   644 g
Language English  

More by McCormick, John W. (University of Northern Iowa)

Show all

Mere med samme udgiver

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