Home/
SPARK 2014 User's Guide: Release 19.0w
SPARK 2014 User's Guide: Release 19.0w
No customer reviews yet
ISBN 9781680921793
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.
About the author
Product details
Pub dateFeb 14, 2018
ISBN-101680921797
ISBN-139781680921793
LanguageEnglish
Last updated 2026-03-23 23:49
$18.67
$19.88
6% off
You save $1.21 · list price $19.88
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Sign in to Add to Saved list
Fast checkout
Pay with Apple Pay or Google Pay when available.
Payment received
We are registering your order now. Please stay on this page while we redirect you to the confirmation page.
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.
Readers who bought this also bought
More from Programming - General