Book
Specification and Seamless Verification ofEmbedded Real-Time Systems
FOCUS on Isabelle «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9783836494526
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Reviews of Specification and Seamless Verification ofEmbedded Real-Time Systems by Maria Spichkova
There are no reviews for this book yet.
