Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
11
%
2035 Kč 2 288 Kč
Sleva až 70% u třetiny knih
Autor: | Margaria, Tiziana |
Nakladatel: | Springer-Verlag GmbH |
ISBN: | 3030034267 |
Rok vydání: | 2019 |
Jazyk : | Angličtina |
Vazba: | Paperback / softback |
Mohlo by se vám také líbit..
-
Digital Da Vinci
Lee, Newton
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
Software Business
Cusumano, Michael A.
-
The Art of Artificial Evolution
Romero, Juan
-
Software Engineering Approaches for O...
Gotel, Olly
-
Creating Web-based Laboratories
Ko, C. C.
-
Bibliothek der Mediengestaltung - Auf...
Bühler, Peter
-
Bézier and Splines in Image Processin...
Biswas, Sambhunath
-
Logical and Relational Learning
De Raedt, Luc
-
Künstliche Intelligenz
Paaß, Gerhard
-
Arithmetik
Knuth, Donald E.
-
Social Media
Leinemann, Ralf
-
Complex Event Processing
Hedtstück, Ulrich
-
Space Weather and Telecommunications
Goodman, Ted
-
Die Ausrichtung des IT-Service-Manage...
Mitrakis, Nikolaos