You might also like

More about SPARK 2014 USERS GD

• Book details
• Synopsis
• Trending among others

You get 86 loyalty points

Book synopsis

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 extend

Book details

• Full title: SPARK 2014 USERS GD
• Author: Adacore Team, Altran Uk Ltd
• Language: English
• Binding: Paperback
• Number of pages: 312
• EAN: 9789888407163
• ISBN: 9888407163
• ID: 16491706
• Publisher: ARTPOWER INTL PUB
• Weight: 726 g
• Dimensions: 280 × 216 × 17 mm
• Date of publishing: 06. June 2017

Trending among others

---

---

---