Automated Theorem Proving in Software Engineering
47
%
1035 Kč 1 969 Kč
Sleva až 70% u třetiny knih
| Autor: | Schumann, Johann M. |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 3540679898 |
| Rok vydání: | 2001 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
Mohlo by se vám také líbit..
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Sustainable Fashion: Consumer Awarene...
Muthu, Subramanian Senthilkannan
-
Digital Da Vinci
Lee, Newton
-
Costs of Ammonia Abatement and the Cl...
Reis, Stefan
-
Voice over IP Networks
Verma, Pramode; Zhang, Fan
-
Endocannabinoid Signaling
Maccarrone, Mauro
-
Essen in Kindertageseinrichtungen und...
Tull, Marc
-
Injections in Aesthetic Medicine
Goisis, Mario
-
Mechanics of Composite Materials with...
Voyiadjis, George Z.
-
Lineare Algebra
Fischer, Gerd
-
Weiterentwicklung des Target Costing ...
Schildmacher, Robert J.
-
Advanced Methods of Continuum Mechani...
Naumenko, Konstantin
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
Handbook of Statistical Bioinformatics
Lu, Henry Horng-Shing
-
Mast Cell Biology
Gilfillan, Alasdair M.
-
Patienten und Angehörige richtig info...
Hoffmann, Magdalena