Be Charmed by These Bewitching Books from 2025

Join the Goodreads Author Program

Are you Dieter Hutter, author of the books below?
Security in Pervasive Computing by Dieter Hutter Mechanizing Mathematical Reasoning by Dieter Hutter Security in Pervasive Computing by Dieter Hutter Applied Formal Methods FM-Trends 98 by Dieter Hutter Mechanizing Mathematical Reasoning by Dieter Hutter Security in Pervasive Computing by Dieter Hutter Rippling by Alan Bundy


To join the author program as Dieter Hutter, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads