Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
Editat de Tiziana Margaria et al.
5 aug 2021
Paperback
Preț: 320.16 lei 400.20 lei
6-8 săpt.
-20%
Cărți de Bernhard Steffen
Verification, Model Checking, and Abstract Interpretation
Editat de Bernhard Steffen et al.
7 ian 2004
Paperback
Preț: 323.41 lei 404.26 lei
6-8 săpt.
-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
6-8 săpt.
-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
6-8 săpt.
-20%
Leveraging Applications of Formal Methods
Editat de Tiziana Maragria et al.
3 noi 2006
Paperback
Preț: 316.71 lei 395.88 lei
6-8 săpt.
-20%
Bridging the Gap Between AI and Reality
Editat de Bernhard Steffen
2 oct 2025
Paperback
Preț: 274.16 lei 342.70 lei
17-24 zile | 6-12 zile
-20%
Let's Talk AI
Editat de Barbara Steffen et al.
28 noi 2025
Paperback
Preț: 294.32 lei 367.90 lei
6-8 săpt.
-20%
Formal Methods for Industrial Critical Systems
Editat de Anne Remke et al.
28 sep 2025
Paperback
Preț: 391.79 lei 489.73 lei
17-24 zile | 6-12 zile
-20%