Tests and Proofs
Editat de Bernhard Beckert et al.
31 mar 2008
Paperback
Preț: 317.47 lei 396.84 lei
6-8 săpt.
-20%
Cărți de Reiner Hähnle
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Editat de Jürgen Giesl et al.
30 iun 2010
Paperback
Preț: 634.45 lei 793.07 lei
3-5 săpt.
-20%
Formal Methods for Components and Objects
Editat de Elena Giachino et al.
26 aug 2013
Paperback
Preț: 292.27 lei 365.35 lei
6-8 săpt.
-20%
Active Object Languages: Current Research Trends
Editat de Frank de Boer et al.
29 ian 2024
Paperback
Preț: 491.26 lei 614.09 lei
6-8 săpt.
-20%
Handbook of Tableau Methods
Editat de M. D'Agostino et al.
31 mar 1999
Hardback
Preț: 1195.37 lei 1457.76 lei
6-8 săpt.
-18%
Theorem Proving with Analytic Tableaux and Related Methods
Editat de Peter Baumgartner et al.
26 apr 1995
Paperback
Preț: 325.83 lei 407.29 lei
6-8 săpt.
-20%
Automated Deduction in Multiple-Valued Logics
Autor Reiner Hähnle
6 ian 1994
Hardback
Preț: 651.20 lei 1126.72 lei
44-50 zile
-42%
Verification of Object-Oriented Software. The KeY Approach
Editat de Bernhard Beckert et al.
3 ian 2007
Paperback
Preț: 643.97 lei 804.96 lei
6-8 săpt.
-20%
Deductive Software Verification: Future Perspectives
Editat de Wolfgang Ahrendt et al.
9 dec 2020
Paperback
Preț: 324.82 lei 406.03 lei
6-8 săpt.
-20%
Deductive Software Verification - The KeY Book
Editat de Wolfgang Ahrendt et al.
21 dec 2016
Paperback
Preț: 755.93 lei 944.92 lei
6-8 săpt.
-20%
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Editat de Amel Bennaceur et al.
21 iul 2018
Paperback
Preț: 375.38 lei 469.22 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ț: 319.96 lei 399.94 lei
6-8 săpt.
-20%