Building High Integrity Applications with SPARK
Book Details
Format
Hardback or Cased Book
ISBN-10
1107040736
ISBN-13
9781107040731
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
US
Country of Publication
GB
Publication Date
Aug 31st, 2015
Print length
382 Pages
Weight
64 grams
Dimensions
16.20 x 23.70 x 2.50 cms
Product Classification:
Programming & scripting languages: general
Ksh 23,400.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 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.
