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
Íkr 24,489
excl. VAT

Ordered from remote warehouse

Expected delivery Sep 18 - 28
Get notified about new McCormick, John W. (University of Northern Iowa) releases

Our customers say:

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

Not rated yet

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   ·   701 g   (Weight (estimated))
Language English  

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

Show all

More from the same publisher

See all of McCormick, John W. (University of Northern Iowa)