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%
Cărți de Bernhard Steffen
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%
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%