Building High Integrity Applications with SPARK
Building High Integrity Applications with SPARK
Regular price
Rs. 7,288.79
Regular price
Sale price
Rs. 7,288.79
Unit price
per
Tax included.
ISBN: 9781316365380
Author: John W. McCormick; Peter C. Chapin
Publisher: Gardners
Published Date: August 31, 2015
Access Validity: 3 Years from Date of Purchase
Book Type:
Digital eBook
Couldn't load pickup availability
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
