Real-time systems. Scheduling, analysis and verification

Main
Computers - Databases
Real-time systems. Scheduling, analysis...

Real-time systems. Scheduling, analysis and verification

Name: Real-time systems. Scheduling, analysis and verification
ISBN: 9780471184065

Albert M. K. Cheng

0 / 0

0 comments

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

"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) 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.

Категории:

Computers - Databases

Год:

2002

Издательство:

Wiley-Interscience

Язык:

english

Страницы:

550

ISBN 10:

0471184063