Formal Methods for Model-Driven Engineering
Rate this book:
Buy This Book
Amazon
Ebook
→
Bookshop.org
Supports indie bookshops
→
Apple Books
Ebook
→
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 Dynamical Systems
Formal Methods for Eternal Networked Software Systems
Formal Methods for Executable Software Models
Formal Methods for Hardware Verification
Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures