Bridging the Gap Between AI and Reality
Editat de Bernhard Steffen
2 oct 2025
Paperback
Preț: 273.94 lei 342.42 lei
17-23 zile | 5-11 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ț: 333.95 lei 417.44 lei
38-44 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Editat de Tiziana Margaria et al.
30 oct 2024
Paperback
Preț: 464.00 lei 580.00 lei
43-57 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ț: 448.51 lei 560.64 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ț: 443.97 lei 554.96 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ț: 323.41 lei 404.26 lei
43-57 zile
-20%
Leveraging Applications of Formal Methods
Editat de Tiziana Maragria et al.
3 noi 2006
Paperback
Preț: 316.71 lei 395.88 lei
43-57 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Bernhard Steffen
18 mar 1998
Paperback
Preț: 330.58 lei 413.22 lei
43-57 zile
-20%
Services and Visualization: Towards User-Friendly Design
Editat de Tiziana Margaria et al.
18 mar 1998
Paperback
Preț: 323.41 lei 404.26 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%
Leveraging Applications of Formal Methods, Verification, and Validation
Editat de Reiner Hähnle et al.
12 oct 2012
Paperback
Preț: 319.96 lei 399.94 lei
43-57 zile
-20%