Buy Used and New Peter H. Schmitt Books

Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings: 543 (Lecture Notes in Computer Science)

by J??rgen Dix,Peter H. Schmitt,Klaus P. Jantke

ISBN 13: 9783540545644

Format: Paperback (260 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Deductive Software Verification – The KeY Book: From Theory to Practice: 10001 (Lecture Notes in Computer Science)

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

ISBN 13: 9783319498119

Format: Paperback (736 pages)
Publisher: Springer
Published: 21 Dec 2016

Save for later