Peter H. Schmitt – författare

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

6 produkter

Kategorier

6 produkter

The Network
AvPeter H. Schmitt
Häftad, Engelska
449 kr
Skickas inom 3-6 vardagar
Del 10001
Del 10001 - Lecture Notes in Computer Science
Deductive Software Verification – The KeY Book
From Theory to Practice
AvWolfgang Ahrendt,Bernhard Beckertm. 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
AvKlaus P. Jantke,Peter H. Schmitt
Häftad, Engelska, 1991
729 kr
Skickas inom 10-15 vardagar
Theorie der logischen Programmierung
Eine elementare Einführung
AvPeter H. Schmitt
Häftad, Tyska, 1992
749 kr
Skickas inom 10-15 vardagar
Nonmonotonic and Inductive Logic
Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
AvGerhard Brewka,Klaus P. Jantkem. 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
AvBernhard Beckert,Reiner Hähnlem. fl.
Häftad, Engelska, 2007
1 459 kr
Skickas inom 10-15 vardagar