Peter H. Schmitt

No bio available. Add one in Open Library.

Books by Peter H. Schmitt (50 max)

+ shelf+ list

Automated deduction: a basis for applications

1899

W. Bibel, Peter H. Schmitt

+ shelf+ list

Deductive Software Verification - the KeY Book: From Theory to Practice

2016

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt

+ shelf+ list

Theorie der logischen Programmierung Eine elementare Einführung

1992

Peter H. Schmitt

+ shelf+ list

Theorie der logischen Programmierung Eine elementare Einführung

1992

Peter H. Schmitt

+ shelf+ list

Verification of Object-Oriented Software. the KeY Approach Foreword by K. Rustan M. Leino

2007

Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt