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 ».
Books related to Specification and Seamless Verification ofEmbedded Real-Time Systems by Maria Spichkova
No related books yet.
