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
-
Interchange Level 2 Teacher´s Edition...
Richards, Jack C.
-
A First Course in Random Matrix Theory
Bouchaud, Jean-Philippe (Centre Commissariat ... l'Energie Atomique (CEA), Saclay); Potters, Marc
-
Mining of Massive Datasets
Leskovec, Jure (Stanford University, California); Rajaraman, Anand; Ullman, Jeffrey David (Stanford University, Californ
-
A/AS Level Computer Science for WJEC...
Surrall, Alistair; Hamflett, Adam
-
Foundations of Data Science
Blum, Avrim; Hopcroft, John (Cornell University, New York); Kannan, Ravi
-
Cambridge Series in Statistical and ...
Wainwright, Martin
-
Machine Learning with Neural Networks
Mehlig, Bernhard (Goeteborgs Universitet, Sweden)
-
Foundations of Cryptography: Volume ...
Goldreich, Oded
-
Modern Compiler Implementation in Java
Appel, Andrew W.
-
Quantum Computing for Computer Scien...
Yanofsky, Noson S.
-
Purely Functional Data Structures
Okasaki, Chris (Columbia University, New York)
-
Boom and Bust
Ayers, William; Kumashiro, Kevin; Meiners, Erica; Quinn, Therese M.; Stovall, David
-
A Level Comp 2 Computer Science OCR
Surrall, Alistair; Hamflett, Adam
-
A Hands-On Introduction to Data Science
Shah, Chirag (University of Washington)