Verification, Model Checking, and Abstract Interpretation
67
%
418 Kč 1 266 Kč
Sleva až 70% u třetiny knih
Autor: | Wagner, Manuela |
Nakladatel: | Springer-Verlag GmbH |
ISBN: | 3662460807 |
Rok vydání: | 2015 |
Jazyk : | Angličtina |
Vazba: | Paperback / softback |
Mohlo by se vám také líbit..
-
Das neue Mobilitätsrecht
Wagner, Manuela
-
Software Business
Cusumano, Michael A.
-
The Art of Artificial Evolution
Romero, Juan
-
Digital Da Vinci
Lee, Newton
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
Präsentation
Bühler, Peter
-
Computational Line Geometry
Pottmann, Helmut
-
Big Data Concepts, Theories, and Appl...
Yu, Shui
-
Internet
Bühler, Peter
-
Algorithmics for Hard Problems
Hromkovic, Juraj
-
Du bist, was Dich stresst!
Marter, Kathrin
-
Replication
Charron-Bost, Bernadette
-
Explainable and Interpretable Models ...
Escalante, Hugo Jair
-
Der ERP-Irrglaube im Mittelstand
Hertfelder, Tobias
-
Bézier and Splines in Image Processin...
Biswas, Sambhunath