BooksCloudSKU: 9781680921809
SPARK 2014 Reference Manual: Release 19.0w - Paperback
$32.25
/
Shipping calculated at checkout.
In stock (50)
$32.25
SPARK 2014 Reference Manual: Release 19.0w - Paperback
$32.25
/
SPARK 2014 Reference Manual: Release 19.0w - Paperback
$32.25
/
Still deciding?
Payment & Security
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
Security
Related categories
High-Quality MaterialsMade with premium materials for long-lasting use.
Easy to UseSimple design for quick setup and convenience.
Versatile & Multi-PurposePerfect for home, office, or on-the-go.
Satisfaction GuaranteeLove it or return it for a full refund.
by Adacore (Author), Altran Uk Ltd (Author)
SPARK 2014 is a programming language and a set of verification tools designed to meet the needs of high-assurance software development. SPARK 2014 is based on Ada 2012, both subsetting the language to remove features that defy verification, but also extending the system of contracts and aspects to support modular, formal verification.
This manual is available online for free at adacore.com. This manual is printed in grayscale.
Number of Pages: 260
Dimensions: 0.55 x 11 x 8.5 IN
Publication Date: February 14, 2018
Free shipping on all U.S. orders
Easy returns and exchanges
30 day money back guarantee
