Stock image for illustration purposes only - book cover, edition or condition may vary.
Real-time Systems
Albert M. K. Cheng
€ 192.87
FREE Delivery in Ireland
Description for Real-time Systems
Hardcover. The first book to provide a comprehensive overview of the subject rather than a collection of papers. * The author is a recognized authority in the field as well as an outstanding teacher lauded for his ability to convey these concepts clearly to many different audiences. * A handy reference for practitioners in the field. . Num Pages: 552 pages, Illustrations. BIC Classification: KCCD; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 243 x 167 x 35. Weight in Grams: 930.
The first book to provide a comprehensive overview of the subject rather than a collection of papers.
The first book to provide a comprehensive overview of the subject rather than a collection of papers.
- The author is a recognized authority in the field as well as an outstanding teacher lauded for his ability to convey these concepts clearly to many different audiences.
- A handy reference for practitioners in the field.
Product Details
Format
Hardback
Publication date
2002
Publisher
John Wiley and Sons Ltd United States
Number of pages
552
Condition
New
Number of Pages
552
Place of Publication
, United States
ISBN
9780471184065
SKU
V9780471184065
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-50
About Albert M. K. Cheng
ALBERT M. K. CHENG, PhD, received his doctorate in computer science from the University of Texas at Austin, where he held a GTE Foundation Doctoral Fellowship. He is currently an associate professor in the department of computer science at the University of Houston, where he is the founding director of the Real-Time Systems Laboratory. He is the author and coauthor ... Read more
Reviews for Real-time Systems
"The author provides a substantial, up-to-date overview of the verification and validation process…" (Computer Magazine, November 2004) "The unifying discussion on the formal analysis and verification methods are especially valuable and enlightening, both for graduate students and researchers." (International Journal of General Systems, December 2003)