Formal Methods for Industrial Critical Systems
Editat de Anne Remke et al.
28 aug 2025
Paperback
Preț: 391.93 lei 489.91 lei
17-23 zile | 7-13 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
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
6-8 săpt.
-20%
Verification, Model Checking, and Abstract Interpretation
Editat de Bernhard Steffen et al.
7 ian 2004
Paperback
Preț: 324.41 lei 405.51 lei
6-8 săpt.
-20%
Grundlagen der höheren Informatik
Autor Bernhard Steffen et al.
30 oct 2013
Hardback
Preț: 239.25 lei 299.07 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods
Editat de Tiziana Maragria et al.
3 noi 2006
Paperback
Preț: 317.66 lei 397.08 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ț: 331.59 lei 414.49 lei
6-8 săpt.
-20%
Services and Visualization: Towards User-Friendly Design
Editat de Tiziana Margaria et al.
18 mar 1998
Paperback
Preț: 324.41 lei 405.51 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification, and Validation
Editat de Reiner Hähnle et al.
12 oct 2012
Paperback
Preț: 326.65 lei 408.31 lei
6-8 săpt.
-20%