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..
-
Personale Medizin
Gerhard Danzer
-
Theoretische Mechanik
Ilk, Karl Heinz
-
Betätigungsorientierte Ergotherapie b...
Orellana, Amy
-
Technische Transport- und Lagerlogistik
Martin, Heinrich
-
Einführung in die Ölhydraulik
Matthies, Hans J.
-
Produktdesign
Bühler, Peter
-
Difficulty in Poetry
Castiglione, Davide
-
Computer Aided Verification
Gopalakrishnan, Ganesh
-
Methoden der Mikrobiologie
Brandis-Heep, Astrid
-
Actuarial Sciences and Quantitative F...
Londoño, Jaime A.
-
Faszination Meeresforschung
Hempel, Gotthilf
-
The Dynamics of Change in Higher Educ...
Kyvik, Svein
-
Correlated Random Systems - Five Diff...
Gayrard, Véronique
-
Kulturgeschichte der europäischen Musik
Gruber, Gernot
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Springer Lexikon Kosmetik und Körperp...
Bährle-Rapp, Marina