Hoppa till sidans huvudinnehåll

Peter H. Schmitt – författare

Visar alla böcker från författaren Peter H. Schmitt.
6 produkter
Peter H. Schmitt - The Network, Häftad

The Network

AvPeter H. Schmitt

Häftad, Engelska

459 kr

Skickas inom 3-6 vardagar

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich - Deductive Software Verification – The KeY Book, Häftad
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

Klaus P. Jantke, Peter H. Schmitt - Nonmonotonic and Inductive Logic, Häftad

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

Peter H. Schmitt - Theorie der logischen Programmierung, Häftad

Theorie der logischen Programmierung

Eine elementare Einführung

AvPeter H. Schmitt

Häftad, Tyska, 1992

749 kr

Skickas inom 10-15 vardagar

Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt - Nonmonotonic and Inductive Logic, Häftad

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

Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt - Verification of Object-Oriented Software. The KeY Approach, Häftad

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 449 kr

Skickas inom 10-15 vardagar