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%

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%

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%

Editat de M. D'Agostino et al.

31 mar 1999

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

6-8 săpt.

-18%

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%

Automated Deduction in Multiple-Valued Logics

International Series of Monographs on Computer Science, nr. 10

Autor Reiner Hähnle

6 ian 1994

Preț: 651^.20 lei 1126^.72 lei

41-52 zile

-42%

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%

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%

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%

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%

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

Formal Methods for Components and Objects

Active Object Languages: Current Research Trends

Handbook of Tableau Methods

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

Automated Deduction in Multiple-Valued Logics

Verification of Object-Oriented Software. The KeY Approach

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

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

Leveraging Applications of Formal Methods, Verification, and Validation

Ficțiune

Business

Medicină

Lifestyle

Copii și adolescenți

Biografii

Artă, arhitectură şi design

Calculatoare și IT

Științe

Tehnologie și inginerie

Papetărie, jocuri, reviste