|
|
libcats.org
Real-time systems. Scheduling, analysis and verificationAlbert M. K. Cheng"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.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Момент истины (В августе сорок четвертого...)Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Molecular Basis of Epithelial Appendage MorphogenesisАвтор: Cheng-Ming ChuongКатегория: Biology
Размер книги: 5.17 Mb
Русский язык и культура речи: Пособие для студентов 1 курса нефилологических факультетовАвтор: Зиброва Р.В., Автор: Федоринова Н.Н.Категория: Языкознание
Размер книги: 513 Kb
Discourse and Grammar in Australian Languages (Studies in Language Companion Series)Автор: Ilana Mushin, Автор: Brett BakerКатегория: Языкознание
Размер книги: 4.53 Mb
Selbstmanagement-Therapie: Ein Lehrbuch für die klinische Praxis, 5. AuflageАвтор: Frederick H. Kanfer, Автор: Hans Reinecker, Автор: Dieter Schmelzer
Размер книги: 4.08 Mb
|
|
|