Formal Methods for Industrial Critical Systems
Editat de Anne Remke et al.
28 aug 2025
Paperback
Preț: 391.93 lei 489.91 lei
18-23 zile | 6-12 zile
-20%
Cărți de Bernhard Steffen
Bridging the Gap Between AI and Reality
Editat de Bernhard Steffen
2 oct 2025
Paperback
Preț: 274.33 lei 342.90 lei
39-44 zile
-20%
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
39-44 zile
-20%
Let's Talk AI
Editat de Barbara Steffen et al.
28 oct 2025
Paperback
Preț: 346.66 lei
6-8 săpt.
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
3-5 săpt. | 6-12 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
39-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
39-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
39-44 zile
-20%
Real Time and Such
Editat de Susanne Graf et al.
5 oct 2024
Paperback
Preț: 360.35 lei 450.44 lei
39-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
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%
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%
Mathematical Foundations of Advanced Informatics
Autor Bernhard Steffen et al.
3 apr 2018
Hardback
Preț: 242.80 lei 303.50 lei
6-8 săpt.
-20%