We use cookies to improve your experience on this site. Learn more

Necessary (required) Required for the site to function. Cannot be disabled.

Analytics Help us understand how visitors use the site.

Search books

My Library
Sign in
Sign up

Home
Authors
Dennis Dams

Author

Dennis Dams

3 books in our library

All books by Dennis Dams

3 books

Concurrency, Compositionality, and Correctness

Cover of Concurrency, Compositionality, and Correctness

Buy this book More books like Concurrency, Compositionality, and Correctness

FM 2009 : Formal Methods

Cover of FM 2009 : Formal Methods

Buy this book More books like FM 2009 : Formal Methods

Theoretical and Practical Aspects of SPIN Model Checking

Cover of Theoretical and Practical Aspects of SPIN Model Checking

Buy this book More books like Theoretical and Practical Aspects of SPIN Model Checking

Looking for another book by Dennis Dams? Search by title

We have 2 869 750 books in our database.

About Privacy Contact FAQ

Bookscovery is a participant in the Amazon Services LLC Associates Program and the Bookshop.org Affiliate Program, affiliate advertising programs designed to provide a means for sites to earn advertising fees by advertising and linking to the affiliate websites.

© 2026 bookscovery.com, Gareth James. Book data provided by Open Library.