Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
11
%
2035 Kč 2 288 Kč
Sleva až 70% u třetiny knih
| Autor: | Margaria, Tiziana |
| Nakladatel: | Springer-Verlag GmbH |
| ISBN: | 3030034232 |
| Rok vydání: | 2019 |
| Jazyk : | Angličtina |
| Vazba: | Paperback / softback |
Mohlo by se vám také líbit..
-
Deep Learning for NLP and Speech Reco...
Kamath, Uday
-
The Art of Artificial Evolution
Romero, Juan
-
Digital Da Vinci
Lee, Newton
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
Software Business
Cusumano, Michael A.
-
Roboter- und KI-Ethik
Funk, Michael
-
Network-Centric Service Oriented Ente...
Chang, William Y.
-
Explainable and Interpretable Models ...
Escalante, Hugo Jair
-
Abenteuer Informatik
Gallenbacher, Jens
-
Structure for Dependability
Besnard, Denis
-
Grundkurs Künstliche Intelligenz
Ertel, Wolfgang
-
Developing Services for the Wireless ...
Morisio, Maurizio
-
IT-Revision, IT-Audit und IT-Compliance
Sowa, Aleksandra
-
Advances in Digital Forensics IV
Ray, Indrajit (University of North Bengal, India)
-
Sicherheitskritische Mensch-Computer-...
Reuter, Christian
-
The Computer - My Life
Zuse, Konrad