Peter H. Schmitt - Böcker

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

The Network

Av Peter H. Schmitt

Häftad, Engelska

449 kr

Skickas inom 3-6 vardagar
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, Reiner Hahnle - Deductive Software Verification – The KeY Book, Häftad

Deductive Software Verification – The KeY Book

Av Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, Reiner Hahnle

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

Av Klaus P. Jantke, Peter H. Schmitt

Häftad, Engelska, 1991

709 kr

Skickas inom 10-15 vardagar
Peter H. Schmitt - Theorie der logischen Programmierung, Häftad

Theorie der logischen Programmierung

Av Peter H. Schmitt

Häftad, Tyska, 1992

739 kr

Skickas inom 10-15 vardagar
Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt - Nonmonotonic and Inductive Logic, Häftad

Nonmonotonic and Inductive Logic

Av Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt

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

Av Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

Häftad, Engelska, 2007

1 449 kr

Skickas inom 10-15 vardagar