Kód: 16491706
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 ver ... celý popis
Angličtina
35.44 €
Bežne: 38.15 €
Ušetríte 2.72 €

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
35.44 €
Angličtina
Osobný odber Bratislava a 12762 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)Nákupný košík ( prázdny )
Nachádzate sa: