Dieter Hutter
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryMM
Mechanizing mathematical reasoning
cover - Image source: Open LibraryMM
Mechanizing mathematical reasoning
cover - Image source: Open LibraryR
Rippling
cover - Image source: Open LibrarySI
Security in pervasive computing
cover - Image source: Open LibraryAF
Applied formal methods--FM-Trends 98
cover - RMRippling Meta-Level Guidance fo...Dieter Hutter
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Mechanizing mathematical reasoning
- Open Work
Mechanizing mathematical reasoning
- Open Work
Rippling
- Open Work
Security in pervasive computing
- Open Work
Applied formal methods--FM-Trends 98
- Open Work
Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56