The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Dieter Hutter Books

Results for Dieter Hutter

Showing 1 to 3 of 3 results
Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings: 1641 (Lecture Notes in Computer Science) Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings: 1641 (Lecture Notes in Computer Science) by Dieter Hutter,Werner Stephan,Paolo Traverso,Markus Ullmann

Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings: 1641 (Lecture Notes in Computer Science)

by Dieter Hutter,Werner Stephan,Paolo Traverso,Markus Ullmann


ISBN 13: 9783540664628

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

Save for later

 
New : $81.76  
New : $81.76
Security in Pervasive Computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings: 3450 (Lecture Notes in Computer Science) Security in Pervasive Computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings: 3450 (Lecture Notes in Computer Science) by Dieter Hutter,Markus Ullmann

Security in Pervasive Computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings: 3450 (Lecture Notes in Computer Science)

by Dieter Hutter,Markus Ullmann


ISBN 13: 9783540255215

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

Save for later

 
New : $75.92  
New : $75.92
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... 2605 (Lecture Notes in Computer Science) Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... 2605 (Lecture Notes in Computer Science) by Dieter Hutter,Werner Stephan

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... 2605 (Lecture Notes in Computer Science)

by Dieter Hutter,Werner Stephan


ISBN 13: 9783540250517

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

Save for later

 
New : $117.80  
New : $117.80