Peter H. Schmitt – författare

Visar alla böcker från författaren Peter H. Schmitt.

5 produkter

1. 

   Deductive Software Verification – The KeY Book

   From Theory to Practice

   Av Wolfgang Ahrendt, Bernhard Beckert m. fl.

   Häftad, 2016

   1759 kr

   Lägg i varukorg

2. 

   Nonmonotonic and Inductive Logic

   1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings

   Av Klaus P. Jantke, Peter H. Schmitt

   Häftad, 1991

   739 kr

   Lägg i varukorg

3. 

   Theorie der logischen Programmierung

   Eine elementare Einführung

   Av Peter H. Schmitt

   Häftad, 1992

   759 kr

   Lägg i varukorg

4. 

   Nonmonotonic and Inductive Logic

   Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings

   Av Gerhard Brewka, Klaus P. Jantke m. fl.

   Häftad, 1993

   719 kr

   Lägg i varukorg

5. 

   Verification of Object-Oriented Software. The KeY Approach

   Foreword by K. Rustan M. Leino

   Av Bernhard Beckert, Reiner Hähnle m. fl.

   Häftad, 2007

   1469 kr

   Lägg i varukorg