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
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
Digital Da Vinci
Lee, Newton
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Statistisches Programmieren mit R
Obszelka, Daniel
-
Big Data Analytics
D'Onofrio, Sara
-
Modelling and Reasoning with Vague Co...
Lawry, Jonathan
-
Formale Sprachen, abstrakte Automaten...
Wagenknecht, Christian
-
Developing Services for the Wireless ...
Morisio, Maurizio
-
Data Science
Frick, Detlev
-
Fundamentals of Computerized Tomography
Herman, Gabor T.
-
Roboter- und KI-Ethik
Funk, Michael
-
IT-Controlling
Gadatsch, Andreas
-
Bibliothek der Mediengestaltung - Auf...
Bühler, Peter