Building High Integrity Applications with SPARK
Building High Integrity Applications with SPARK
باقاعدہ قیمت
Rs. 6,756.48
باقاعدہ قیمت
قیمت فروخت
Rs. 6,756.48
اکائی قیمت
فی
ٹیکس شامل ہے۔
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
پک اپ کی دستیابی کو لوڈ نہیں کیا جا سکا
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
