Handbook of Model Checking
7
%
3368 Kč 3 624 Kč
Expedujeme 1 až 2 dny
Sleva až 70% u třetiny knih
| Autor: | Bloem, Roderick |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 3319105744 |
| Rok vydání: | 2018 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
Mohlo by se vám také líbit..
-
Abenteuer Informatik
Gallenbacher, Jens
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
Präsentation
Bühler, Peter
-
Statistisches Programmieren mit R
Obszelka, Daniel
-
Datenmanagement
Bühler, Peter
-
Developing Services for the Wireless ...
Morisio, Maurizio
-
Special Topics in Mathematics for Com...
Doberkat, Ernst-Erich
-
The Art of Artificial Evolution
Romero, Juan
-
Quantum Computing verstehen
Homeister, Matthias
-
Digital Da Vinci
Lee, Newton
-
IT-Revision, IT-Audit und IT-Compliance
Sowa, Aleksandra
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Quantencomputing kompakt
Just, Bettina
-
Natürliche Kognition technologisch be...
Haun, Matthias
-
Computer Aided Verification
Gopalakrishnan, Ganesh
-
Strategie, Planung und Organisation v...
Witte, Frank