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

AvPeter H. Schmitt

Häftad, Engelska

419 kr

Skickas inom 3-6 vardagar

Deductive Software Verification – The KeY Book

From Theory to Practice

AvWolfgang Ahrendt,Bernhard Beckert m. fl.

Häftad, Engelska, 2016

1 709 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

699 kr

Skickas inom 10-15 vardagar

Theorie der logischen Programmierung

Eine elementare Einführung

AvPeter H. Schmitt

Häftad, Tyska, 1992

719 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. Jantke m. fl.

Häftad, Engelska, 1993

699 kr

Skickas inom 10-15 vardagar

Verification of Object-Oriented Software. The KeY Approach

Foreword by K. Rustan M. Leino

AvBernhard Beckert,Reiner Hähnle m. fl.

Häftad, Engelska, 2007

1 429 kr

Skickas inom 10-15 vardagar