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ț: 659.97 lei 824.95 lei
3-5 săpt.
-20%
Cărți de Reiner Hähnle
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Editat de Bernhard Beckert et al.
31 mar 2008
Paperback
Preț: 328.92 lei 411.16 lei
6-8 săpt.
-20%
Active Object Languages: Current Research Trends
Editat de Frank de Boer et al.
29 ian 2024
Paperback
Preț: 450.70 lei 563.38 lei
6-8 săpt.
-20%
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
Editat de Wolfgang Ahrendt et al.
9 dec 2020
Paperback
Preț: 335.18 lei 418.98 lei
6-8 săpt.
-20%
Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Editat de Reiner Hähnle et al.
4 apr 2019
Paperback
Preț: 368.95 lei 461.19 lei
6-8 săpt.
-20%
Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Editat de Amel Bennaceur et al.
21 iul 2018
Paperback
Preț: 388.00 lei 485.00 lei
6-8 săpt.
-20%
Deductive Software Verification – The KeY Book: From Theory to Practice
Editat de Wolfgang Ahrendt et al.
21 dec 2016
Paperback
Preț: 780.94 lei 976.17 lei
6-8 săpt.
-20%
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Editat de Elena Giachino et al.
26 aug 2013
Paperback
Preț: 301.77 lei 377.21 lei
6-8 săpt.
-20%
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Editat de Reiner Hähnle et al.
12 oct 2012
Paperback
Preț: 331.40 lei 414.26 lei
6-8 săpt.
-20%
Handbook of Tableau Methods
Editat de M. D'Agostino et al.
31 mar 1999
Hardback
Preț: 1243.78 lei 1516.80 lei
6-8 săpt.
-18%
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino
Editat de Bernhard Beckert et al.
3 ian 2007
Paperback
Preț: 665.09 lei 831.37 lei
6-8 săpt.
-20%
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
Editat de Peter Baumgartner et al.
26 apr 1995
Paperback
Preț: 336.35 lei 420.43 lei
6-8 săpt.
-20%
Automated Deduction in Multiple-Valued Logics
Autor Reiner Hähnle
6 ian 1994
Hardback
Preț: 604.31 lei 993.13 lei
31-38 zile
-39%