Bridging the Gap Between AI and Reality
Editat de Bernhard Steffen
2 oct 2025
Paperback
Preț: 282.94 lei 353.68 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ț: 333.98 lei 417.47 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. | 5-11 zile
-20%
Transactions on Foundations for Mastering Change I
Editat de Bernhard Steffen
30 sep 2016
Paperback
Preț: 333.53 lei 416.92 lei
6-8 săpt.
-20%
Computing and Software Science
Editat de Bernhard Steffen et al.
5 oct 2019
Paperback
Preț: 221.63 lei 277.04 lei
6-8 săpt.
-20%