Use the controls in the window below to browse, scroll, or search inside this book.

Modeling and Verification of Real-time Systems: Formalisms and Software Tools

Nicolas Navet (Editor), Stephan Merz (Editor)
ISBN: 978-1-84821-013-4
Hardcover
448 pages
April 2008, Wiley-ISTE
List Price: US $254.75
Government Price: US $175.96
Enter Quantity:   Buy
« Return to Product Page