Mohlo by sa vám tiež páčiť

Viac informácií o knihe SPARK 2014 USERS GD

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 86 bodov

Anotácia knihy

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

Parametre knihy

• Celý názov: SPARK 2014 USERS GD
• Autor: Adacore Team, Altran Uk Ltd
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 312
• EAN: 9789888407163
• ISBN: 9888407163
• ID: 16491706
• Nakladateľ: ARTPOWER INTL PUB
• Hmotnosť: 726 g
• Rozmery: 280 × 216 × 17 mm
• Dátum vydania: 06. June 2017

Obľúbené z iného súdka

---

---

---