Bridging the Gap Between AI and Reality
Editat de Bernhard Steffen
2 oct 2025
Paperback
Preț: 274.33 lei 342.90 lei
38-44 zile
-20%
Cărți de Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
Editat de Tiziana Margaria et al.
26 oct 2024
Paperback
Preț: 334.32 lei 417.90 lei
38-44 zile
-20%
Let's Talk AI
Editat de Barbara Steffen et al.
28 oct 2025
Paperback
Preț: 346.66 lei
43-57 zile
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Editat de Tiziana Margaria et al.
30 oct 2024
Paperback
Preț: 465.30 lei 581.63 lei
22-36 zile | 5-11 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Editat de Tiziana Margaria et al.
27 oct 2024
Paperback
Preț: 503.70 lei 629.63 lei
38-44 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
Editat de Tiziana Margaria et al.
26 oct 2024
Paperback
Preț: 444.47 lei 555.59 lei
38-44 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
Editat de Tiziana Margaria et al.
9 oct 2024
Paperback
Preț: 540.45 lei 675.56 lei
38-44 zile
-20%
Real Time and Such
Editat de Susanne Graf et al.
5 oct 2024
Paperback
Preț: 360.35 lei 450.44 lei
38-44 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
Editat de Tiziana Margaria et al.
5 aug 2021
Paperback
Preț: 317.02 lei 396.27 lei
43-57 zile
-20%
Verification, Model Checking, and Abstract Interpretation
Editat de Bernhard Steffen et al.
7 ian 2004
Paperback
Preț: 324.41 lei 405.51 lei
43-57 zile
-20%
Grundlagen der höheren Informatik
Autor Bernhard Steffen et al.
30 oct 2013
Hardback
Preț: 239.25 lei 299.07 lei
43-57 zile
-20%
Leveraging Applications of Formal Methods
Editat de Tiziana Maragria et al.
3 noi 2006
Paperback
Preț: 317.66 lei 397.08 lei
43-57 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Bernhard Steffen
18 mar 1998
Paperback
Preț: 331.59 lei 414.49 lei
43-57 zile
-20%
Services and Visualization: Towards User-Friendly Design
Editat de Tiziana Margaria et al.
18 mar 1998
Paperback
Preț: 324.41 lei 405.51 lei
43-57 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Editat de Tiziana Margaria et al.
29 oct 2018
Paperback
Preț: 333.38 lei 416.72 lei
43-57 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Editat de Tiziana Margaria et al.
30 oct 2018
Paperback
Preț: 328.74 lei 410.92 lei
43-57 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Editat de Tiziana Margaria et al.
31 oct 2018
Paperback
Preț: 329.95 lei 412.43 lei
43-57 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Editat de Tiziana Margaria et al.
30 oct 2018
Paperback
Preț: 330.34 lei 412.92 lei
43-57 zile
-20%
Transactions on Foundations for Mastering Change I
Editat de Bernhard Steffen
30 sep 2016
Paperback
Preț: 316.59 lei 395.75 lei
43-57 zile
-20%
SOFSEM 2017: Theory and Practice of Computer Science
Editat de Bernhard Steffen et al.
11 ian 2017
Paperback
Preț: 330.34 lei 412.92 lei
43-57 zile
-20%
Mathematical Foundations of Advanced Informatics
Autor Bernhard Steffen et al.
3 apr 2018
Hardback
Preț: 242.80 lei 303.50 lei
43-57 zile
-20%
Leveraging Applications of Formal Methods, Verification, and Validation
Editat de Reiner Hähnle et al.
12 oct 2012
Paperback
Preț: 326.65 lei 408.31 lei
43-57 zile
-20%