Formal Methods for the Quantitative Evaluation of Collective
View on Open Library ↗

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

by ,

1 hr read
Rate this book:
261 pages 2016

Buy This Book

Amazon → Bookshop.org Supports indie bookshops → Open Library Borrow Free to borrow →

As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.

Know this book?

Help other readers discover this title by sharing your thoughts. Be the first to write a review.

Share Your Thoughts

Sign in to write a review.

More by Marco Bernardo

Formal Methods for Computational Systems Biology
Formal Methods for Computational Systems Biology
2008
Formal Methods for Dynamical Systems
Formal Methods for Dynamical Systems
2013
Formal Methods for Eternal Networked Software Systems
Formal Methods for Eternal Networked Software Systems
2011
Formal Methods for Executable Software Models
Formal Methods for Executable Software Models
2014
Formal Methods for Hardware Verification
Formal Methods for Hardware Verification
2006
Formal Methods for Model-Driven Engineering
Formal Methods for Model-Driven Engineering
2012

View all books by Marco Bernardo →