Buy Used and New Reiner Hähnle Books

Results for Reiner Hähnle

Showing 1 to 6 of 6 results
Deductive Software Verification – The KeY Book: From Theory to Practice: 10001 (Lecture Notes in Computer Science) 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

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

 
New : $116.42  
New : $116.42
Handbook of Tableau Methods Handbook of Tableau Methods by Marcello D'Agostino,Dov M. Gabbay,Reiner Hähnle

Handbook of Tableau Methods

by Marcello D'Agostino,Dov M. Gabbay,Reiner Hähnle


ISBN 13: 9780792356271

Format: Illustrated (684 pages)
Publisher: Springer
Published: 31 Mar 1999

Save for later

 
New : $357.96  
New : $357.96