Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissimination, Applications Part II
11
%
2360 Kč 2 654 Kč
Sleva až 70% u třetiny knih
Autor: | Margaria, Tiziana |
Nakladatel: | Springer-Verlag GmbH |
ISBN: | 3319471686 |
Rok vydání: | 2016 |
Jazyk : | Angličtina |
Vazba: | Paperback / softback |
Mohlo by se vám také líbit..
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Software Business
Cusumano, Michael A.
-
The Art of Artificial Evolution
Romero, Juan
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
Digital Da Vinci
Lee, Newton
-
Teaching Fundamental Concepts of Info...
Hromkovic, Juraj
-
Funktionale Programmierung
Pepper, Peter
-
Präsentation
Bühler, Peter
-
Informationswirtschaft
Spitta, Thorsten
-
Logical and Relational Learning
De Raedt, Luc
-
Skills + Tools
Nahrstedt, Harald
-
Strategie, Planung und Organisation v...
Witte, Frank
-
Twitter Data Analytics
Kumar, Shamanth
-
Künstliche Intelligenz im Handel 2 - ...
Glas, Rainer
-
Internet
Bühler, Peter
-
Fundamentals of Computerized Tomography
Herman, Gabor T.