The book is currently out of stock
Formal methods for the design of real time systems
Authors
Parameters
Book purchase
Formal methods for the design of real time systems, Marco Bernardo
- Language
- Released
- 2004
We’ll notify you via email once we track it down.
Payment methods
- Title
- Formal methods for the design of real time systems
- Language
- English
- Authors
- Marco Bernardo
- Publisher
- Springer
- Released
- 2004
- ISBN10
- 3540230688
- ISBN13
- 9783540230687
- Series
- Lecture notes in computer science
- Category
- Computers, IT, Programming