Building High Integrity Applications with SPARK
Book Details
Format
Paperback / Softback
ISBN-10
1107656842
ISBN-13
9781107656840
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Aug 31st, 2015
Print length
382 Pages
Weight
550 grams
Dimensions
15.50 x 22.80 x 2.20 cms
Product Classification:
Programming & scripting languages: general
Ksh 9,250.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
Secure
Quality
Fast
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.
Get Building High Integrity Applications with SPARK by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.
