Automated Technology for Verification and Analysis
7
%
2200 Kč 2 366 Kč
Sleva až 70% u třetiny knih
| Autor: | Cha, Sungdeok |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 354088386X |
| Rok vydání: | 2008 |
| Jazyk : | Angličtina |
| Vazba: | brožovaná/paperback |
Mohlo by se vám také líbit..
-
Personale Medizin
Gerhard Danzer
-
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
-
Geographie
Gebhardt, Hans
-
Cytotoxic T-Cells
Ranieri, Elena
-
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
-
Sustainable Fashion: Consumer Awarene...
Muthu, Subramanian Senthilkannan
-
Digital Da Vinci
Lee, Newton