Peter H. Schmitt

Peter H. Schmitt

2 books in the database

Books

Theorie der logischen ProgrammierungPeter H. Schmitt

Theorie der logischen Programmierung

Peter H. Schmitt · 1992

Theorie der logischen ProgrammierungPeter H. Schmitt

Theorie der logischen Programmierung

Peter H. Schmitt · 1992

Co-authored books and collections

Books that list Peter H. Schmitt among their authors but not as the lead author: co-written works, collections and compilations.

Automated deductionW. Bibel

Automated deduction

W. Bibel · 1998

Verification of Object-Oriented Software. the KeY ApproachBernhard Beckert

Verification of Object-Oriented Software. the KeY Approach

Bernhard Beckert · 2007