Low Price Guarantee
We Take School POs
Modeling and Verification of Real-Time Systems: Formalisms and Software Tools
Contributor(s): Navet, Nicolas (Editor), Merz, Stephan (Editor)

View larger image

ISBN: 1848210132     ISBN-13: 9781848210134
Publisher: Wiley-Iste
OUR PRICE: $242.01  

Binding Type: Hardcover - See All Available Formats & Editions
Published: April 2008
Additional Information
BISAC Categories:
- Computers | Machine Theory
Dewey: 004.015
LCCN: 2007045063
Physical Information: 1.11" H x 6.42" W x 9.23" (1.58 lbs) 393 pages
Features: Bibliography, Illustrated, Index, Table of Contents
Customer ReviewsSubmit your own review
To tell a friend about this book, you must Sign In First!