Filtre:

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%

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.

7 dec 2010

Preț: 1186^.72 lei 1447^.22 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

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

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%

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

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

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

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