Theoretical Aspects of Computing - ICTAC 2015
2.5 hrs read
Rate this book:
Buy This Book
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 Martin Leucker
Formal Methods : Applications
Formal Methods : Applications and Technology
Formal Methods in Outer Space
Formal Methods in Outer Space
Logics for Mazurkiewicz traces
Logics for Mazurkiewicz traces
Model-Based Testing of Reactive Systems
Runtime Verification
Theoretical Aspects of Computing - ICTAC 2009