Tests and Proofs
Editat de Bernhard Beckert et al.
31 mar 2008
Paperback
Preț: 316.49 lei 395.62 lei
6-8 săpt.
-20%
Cărți de Bernhard Beckert
Automated Reasoning with Analytic Tableaux and Related Methods
Editat de Bernhard Beckert
5 sep 2005
Paperback
Preț: 348.16 lei 435.20 lei
38-45 zile
-20%
Verification of Object-Oriented Software. The KeY Approach
Editat de Bernhard Beckert et al.
3 ian 2007
Paperback
Preț: 641.97 lei 802.46 lei
6-8 săpt.
-20%
Formal Verification of Object-Oriented Software
Editat de Bernhard Beckert et al.
19 iul 2012
Paperback
Preț: 292.01 lei 365.01 lei
6-8 săpt.
-20%
Formal Methods for Components and Objects
Editat de Bernhard Beckert et al.
3 ian 2013
Paperback
Preț: 324.63 lei 405.79 lei
6-8 săpt.
-20%