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..
-
European Union Politics
McCormick, John
-
Cases in Comparative Government and ...
McCormick, John
-
Mathematics for Machine Learning
Deisenroth, Marc Peter (University College London); Faisal, A. Aldo (Imperial College London); Ong, Cheng Soon
-
Mining of Massive Datasets
Leskovec, Jure (Stanford University, California); Rajaraman, Anand; Ullman, Jeffrey David (Stanford University, Californ
-
Quantum Computing for Computer Scien...
Yanofsky, Noson S.
-
Learning Scientific Programming with ...
Hill, Christian
-
Modelling Brain Function
Amit, Daniel J.
-
Machine Learning for Asset Managers
De Prado, Lopez
-
Interchange Level 2 Teacher´s Edition...
Richards, Jack C.
-
Using Geochemical Data
Rollinson, Hugh R.
-
Computer Age Statistical Inference, S...
Efron, Bradley
-
Data-Driven Science and Engineering
Duriez, Thomas; Brunton, Steven L.; Noack, Bernd R.
-
Cracking the Digital Ceiling
-
Purely Functional Data Structures
Okasaki, Chris (Columbia University, New York)
-
Brain-Computer Interfacing
Rao, Rajesh P. N.
-
Hey Cyba
Young, Steve (University of Cambridge)