Bernhard Beckert

Beliebte Artikel von Bernhard Beckert

Alle Angebote anzeigen

Verification of Object-Oriented Software: The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science, 4334, Band 4334)

Artikelpreise ab

EUR 16,00

4 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, ... Notes in Computer Science, 3702, Band 3702)
Beckert, Bernhard

Artikelpreise ab

EUR 32,54

4 Angebote anzeigen

Entdecken Sie auch
Neu
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science, Band 7421)

Artikelpreise ab

EUR 73,49

1 Angebot anzeigen

Entdecken Sie auch
Neu