Formal techniques in real-time and fault-tolerant systems
by W. P. De Roever
1994787 pagesSpringer-Verlag·2 editions No users with this book on their shelves. Maybe you could be the first.
No lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
Formal techniques in real-time and fault-tolerant systems (1994)
Formal techniques in real-time and fault-tolerant systems (1994)
Springer-Verlag
Springer-Verlag
Buy on Amazon