Building High Integrity Applications with SPARK
1570 Kč
Sleva až 70% u třetiny knih
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
| Autor: | McCormick, John |
| Nakladatel: | Cambridge University Press |
| ISBN: | 9781107656840 |
| Rok vydání: | 2015 |
| Jazyk : | Angličtina |
| Vazba: | Paperback |
| Počet stran: | 382 |
Mohlo by se vám také líbit..
-
Cases in Comparative Government and ...
McCormick, John
-
A History of Saudi Arabia
Madawi Al-Rasheed
-
Ancient Persia
Rainwaters, Matthew
-
The Austro-Hungarian Army and the Fir...
Tunstall, Graydon A. (University of South Florida)
-
The Cambridge Companion to Arabic Phi...
-
The Desire of the Nations
O'Donovan, Oliver
-
Ovid: Metamorphoses Book XIII
Ovid
-
BCP Standard Edition Prayer Book Bla...
-
The Cambridge Companion to Muhammad
-
Kiev 1941
David Stahel
-
Seneca: De otio; De brevitate vitae
Seneca
-
German Orientalism in the Age of Empire
Marchand, Suzanne L.
-
An Introduction to Pentecostalism
Earle Mary D., Earle Richard L., Anderson Allan M.
-
Roman Religion
Warrior, Valerie M.
-
Kant: A Biography
Kuehn, Manfred (Philipps-Universitat Marburg, Germany)
-
GCSE Mathematics for OCR Foundation ...
Asker, Nick; Morrison, Karen
