Dieter Hutter

Dieter Hutter’s Followers

None yet.

Dieter Hutter

Combine Editions
Dieter Hutter’s books

Average rating: 3.5 · 2 ratings · 0 reviews · 7 distinct works

	Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Series Number 56) by Alan Bundy, David Basin, Dieter Hutter 3.50 avg rating — 2 ratings — published 2004 — 7 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers (Lecture Notes in Computer Science, 2802) 0.00 avg rating — 0 ratings — published 2004 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 2605) 0.00 avg rating — 0 ratings — published 2005 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Security in Pervasive Computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings (Lecture Notes in Computer Science, 3450) by Dieter Hutter (Editor), Markus Ullmann (Editor) 0.00 avg rating — 0 ratings — published 2005 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Applied Formal Methods FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7-9, 1998 Proceedings. Lecture Notes in Computer Science by Dieter Hutter (Editor), Werner Stephan (Editor), Paolo Traverse (Editor) 0.00 avg rating — 0 ratings — published 1999	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Mechanizing Mathematical Reasoning 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

More books by Dieter Hutter…

Is this you? Let us know. If not, help out and invite Dieter to Goodreads.