...
click to view more

SPARK 2014 Reference Manual: Release 19.0w

by SPARK 2014 Reference Manual: Release 19.0w

$21.18

add to favourite
  • In Stock - Guaranteed to ship in 24 hours with Free Online tracking.
  • FREE DELIVERY by Thursday, April 24, 2025 12:04:50 AM UTC
  • 24/24 Online
  • Yes High Speed
  • Yes Protection
Tell-A-Friend
Last update:

Description

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.

Last updated on

Product Details

  • Feb 14, 2018 Pub Date:
  • 9781680921809 ISBN-13:
  • 1680921800 ISBN-10:
  • English Language