Hoppa till sidans huvudinnehåll

Peter H. Schmitt - Böcker

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

The Network

Av Peter H. Schmitt

Häftad, Engelska

449 kr

Skickas inom 5-8 vardagar

Deductive Software Verification – The KeY Book

From Theory to Practice

Av Wolfgang Ahrendt, Bernhard Beckert m. fl

Häftad, Engelska, 2016

1 739 kr

Skickas inom 10-15 vardagar

Nonmonotonic and Inductive Logic

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

Av Klaus P. Jantke, Peter H. Schmitt

Häftad, Engelska, 1991

709 kr

Skickas inom 10-15 vardagar

Theorie der logischen Programmierung

Eine elementare Einführung

Av Peter H. Schmitt

Häftad, Tyska, 1992

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 1993

709 kr

Skickas inom 10-15 vardagar

Verification of Object-Oriented Software. The KeY Approach

Foreword by K. Rustan M. Leino

Av Bernhard Beckert, Reiner Hähnle m. fl

Häftad, Engelska, 2007

1 449 kr

Skickas inom 10-15 vardagar