Real-time Systems
Formal Specification and Automatic Verification
We couldn't estimate the reading time for this book.
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139780511429972
- ISBN-100511429975
- Better World Books9780511429972
- Open LibraryOL40487327M
Classifications
- LCCQA76.54.O43 2008
Subjects
Topics
Other Editions
- Real-time Systems
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!