Filtre: Paperback

Cărți de Reiner Hähnle

Editat de Bernhard Beckert et al.

31 mar 2008

Preț: 316^.49 lei 395^.62 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%

Editat de M. D'Agostino et al.

31 mar 1999

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

6-8 săpt.

-18%

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%

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%

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 - 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%

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%

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%

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%

Leveraging Applications of Formal Methods, Verification, and Validation

Editat de Reiner Hähnle et al.

12 oct 2012

Preț: 319^.96 lei 399^.94 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%

Cărți de Reiner Hähnle

Tests and Proofs

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

Handbook of Tableau Methods

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

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

Active Object Languages: Current Research Trends

Deductive Software Verification - The KeY Book

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

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

Verification of Object-Oriented Software. The KeY Approach

Leveraging Applications of Formal Methods, Verification, and Validation

Formal Methods for Components and Objects

Papetărie, jocuri, reviste

Cărți de Reiner Hähnle