Real-Time Systems: Scheduling, Analysis, and Verification (Hardback)
  • Real-Time Systems: Scheduling, Analysis, and Verification (Hardback)
zoom

Real-Time Systems: Scheduling, Analysis, and Verification (Hardback)

(author)
£150.00
Hardback 552 Pages / Published: 19/08/2002
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: John Wiley and Sons Ltd
ISBN: 9780471184065
Number of pages: 552
Weight: 972 g
Dimensions: 242 x 164 x 34 mm


MEDIA REVIEWS
"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)

You may also be interested in...

Bringing Home the Birkin
Added to basket
Sex Cells
Added to basket
£24.00
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.