Cărți de Reiner Hähnle

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings

Lecture Notes in Computer Science, nr. 918

Editat de Peter Baumgartner et al.

26 apr 1995

Preț: 323^.55 lei 404^.44 lei

6-8 săpt.

-20%

Editat de M. D'Agostino et al.

31 mar 1999

Preț: 1195^.37 lei 1457^.76 lei

6-8 săpt.

-18%

Editat de Bernhard Beckert et al.

31 mar 2008

Preț: 316^.49 lei 395^.62 lei

6-8 săpt.

-20%

Automated Deduction in Multiple-Valued Logics

International Series of Monographs on Computer Science, nr. 10

Autor Reiner Hähnle

6 ian 1994

Preț: 651^.91 lei 1438^.12 lei

42-47 zile

-55%

Verification of Object-Oriented Software. The KeY Approach

Editat de Bernhard Beckert et al.

3 ian 2007

Preț: 641^.97 lei 802^.46 lei

6-8 săpt.

-20%

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6173

Editat de Jürgen Giesl et al.

30 iun 2010

Preț: 634^.45 lei 793^.07 lei

3-5 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

Lecture Notes in Computer Science, nr. 11026

Editat de Amel Bennaceur et al.

21 iul 2018

Preț: 373^.16 lei 466^.46 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

Communications in Computer and Information Science, nr. 336

Editat de Reiner Hähnle et al.

12 oct 2012

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Deductive Software Verification - The KeY Book

Lecture Notes in Computer Science

Editat de Wolfgang Ahrendt et al.

21 dec 2016

Preț: 753^.58 lei 941^.98 lei

6-8 săpt.

-20%

Active Object Languages: Current Research Trends

Lecture Notes in Computer Science, nr. 14360

Editat de Frank de Boer et al.

29 ian 2024

Preț: 488^.09 lei 610^.11 lei

6-8 săpt.

-20%

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Lecture Notes in Computer Science, nr. 12345

Editat de Wolfgang Ahrendt et al.

9 dec 2020

Preț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

Formal Methods for Components and Objects

Programming and Software Engineering

Editat de Elena Giachino et al.

26 aug 2013

Preț: 291^.39 lei 364^.24 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

Lecture Notes in Computer Science, nr. 11424

Editat de Reiner Hähnle et al.

4 apr 2019

Preț: 354^.88 lei 443^.60 lei

6-8 săpt.

-20%

Cărți de Reiner Hähnle

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings

Handbook of Tableau Methods

Tests and Proofs

Automated Deduction in Multiple-Valued Logics

Verification of Object-Oriented Software. The KeY Approach

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

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

Deductive Software Verification - The KeY Book

Active Object Languages: Current Research Trends

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Formal Methods for Components and Objects

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

Papetărie, jocuri, reviste

Cărți de Reiner Hähnle