Peter H. Schmitt - Böcker
Visar alla böcker från författaren Peter H. Schmitt.
6 produkter
6 produkter
449 kr
Skickas inom 3-6 vardagar
Del 10001 - Lecture Notes in Computer Science
Deductive Software Verification – The KeY Book
From Theory to Practice
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
Häftad, Engelska, 1991
699 kr
Skickas inom 10-15 vardagar
739 kr
Skickas inom 10-15 vardagar
Nonmonotonic and Inductive Logic
Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
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
Häftad, Engelska, 2007
1 429 kr
Skickas inom 10-15 vardagar