121873
9780321136169
Out of Stock
The item you're looking for is currently unavailable.
This text provides an accessible introduction to the SPARK programming language. The CD-ROM contains the main SPARK tools and additional manuals giving all the information needed to use SPARK in practice.Barnes, John is the author of 'High Integrity Software The Spark Approach to Safety and Security' with ISBN 9780321136169 and ISBN 0321136160.
[read more]