Scalable Techniques for Formal Verification
34
%
2306 Kč 3 473 Kč
Sleva až 70% u třetiny knih
| Autor: | Ray, Sandip |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 1441959971 |
| Rok vydání: | 2011 |
| Jazyk : | Angličtina |
| Vazba: | pevná |
Mohlo by se vám také líbit..
-
Präsentation
Bühler, Peter
-
Digital Da Vinci
Lee, Newton
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Produktdesign
Bühler, Peter
-
The Art of Artificial Evolution
Romero, Juan
-
Internet
Bühler, Peter
-
Raspberry Pi - Das technische Handbuch
Klaus Dembowski
-
Einstieg in Java und OOP
Silberbauer, Christian
-
Statistisches Programmieren mit R
Obszelka, Daniel
-
Funktionale Programmierung
Pepper, Peter
-
Developing Services for the Wireless ...
Morisio, Maurizio
-
Designgeschichte
Bühler, Peter
-
Grundlagen der virtuellen Realität
Grasnick, Armin
-
Data Structures and Algorithms with S...
Upadhyaya, Bhim P.
-
KI & Recht kompakt
Hartmann, Matthias
-
Kommentar zur VOB/C
Bielefeld, Bert