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: Tools and Trends
Editat de Tiziana Margaria et al.
5 aug 2021
Paperback
Preț: 317.02 lei 396.27 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Dirk Beyer et al.
4 apr 2019
Paperback
Preț: 321.40 lei 401.75 lei
3-5 săpt. | 6-10 zile
-20%
Model Checking, Synthesis, and Learning
Editat de Ernst-Rüdiger Olderog et al.
22 noi 2021
Paperback
Preț: 389.85 lei 487.32 lei
3-5 săpt. | 6-10 zile
-20%
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
Editat de Tiziana Margaria et al.
20 oct 2022
Paperback
Preț: 533.40 lei 666.75 lei
3-5 săpt. | 6-10 zile
-20%
Transactions on Foundations for Mastering Change I
Editat de Bernhard Steffen
30 sep 2016
Paperback
Preț: 316.59 lei 395.75 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Computing and Software Science
Editat de Bernhard Steffen et al.
5 oct 2019
Paperback
Preț: 213.01 lei 266.27 lei
6-8 săpt.
-20%