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
Íkr 10,939
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.

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  

More from the same publisher

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