Verification, Model Checking, and Abstract Interpretation
7
%
2023 Kč 2 176 Kč
Sleva až 70% u třetiny knih
| Autor: | Jhala, Ranjit |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 3642182747 |
| Rok vydání: | 2011 |
| Jazyk : | Angličtina |
| Vazba: | brožovaná/paperback |
Mohlo by se vám také líbit..
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
Digital Da Vinci
Lee, Newton
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
The Art of Artificial Evolution
Romero, Juan
-
Software Business
Cusumano, Michael A.
-
Advances in Digital Forensics IV
Ray, Indrajit (University of North Bengal, India)
-
Datenmanagement
Bühler, Peter
-
Fundamentals of Computerized Tomography
Herman, Gabor T.
-
Daten- und Informationsqualität
Hildebrand, Knut
-
Performance Evaluation and Benchmarki...
Madhavan, Raj
-
Explainable and Interpretable Models ...
Escalante, Hugo Jair
-
Big Data Concepts, Theories, and Appl...
Yu, Shui
-
IT-Controlling
Gadatsch, Andreas
-
Computational Line Geometry
Pottmann, Helmut
-
Sicherheitskritische Mensch-Computer-...
Reuter, Christian
-
Algorithmics for Hard Problems
Hromkovic, Juraj