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
-
Cambridge International AS & A L...
Piper, Tony
-
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.
-
Mathematics for Machine Learning
Deisenroth, Marc Peter (University College London); Faisal, A. Aldo (Imperial College London); Ong, Cheng Soon
-
Machine Learning for Asset Managers
De Prado, Lopez
-
Learning Scientific Programming with ...
Hill, Christian
-
Industry Unbound
Waldman, Ari Ezra (Northeastern University, Boston)
-
A Hands-On Introduction to Data Science
Shah, Chirag (University of Washington)
-
How to Write Good Programs
Stevens, Perdita
-
Machine Learning with Neural Networks
Mehlig, Bernhard (Goeteborgs Universitet, Sweden)
-
Sentiment Analysis
Liu, Bing
-
The Discrete Mathematical Charms of P...
Applegate, David L.; Bixby, Robert E.; Chvatal, Vasek; Cook, William J.
-
Integer Linear Programming in Comput...
Gusfield, Dan (University of California, Davis)
-
Game Theory Basics
Von Stengel, Rudiger