When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
SPARK 2014 Reference Manual: Release 19.0w by Adacore (English) Paperback Book
- Item No : 157209631582
- Condition : Brand New
- Brand : No brand Info
- Seller : the_nile
- Current Bid : US $19.01
-
* Item Description
- By Adacore, Altran Uk Ltd. 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.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
