High Integrity Software: The SPARK Approach to Safety and Security

Preis 76.00 - 78.73 USD

EAN/UPC/ISBN Code 76092021001, 9780321136169


High Integrity Software 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. Full description