libcats.org
Главная

Real-Time Systems

Обложка книги Real-Time Systems

Real-Time Systems

This text provides an account of real-time systems: program structures for real-time timing analysis using scheduling theory and specification and verification in different frameworks. The presentation makes use of recent research which has demonstrated the effectiveness and applicability of mathematically-based methods for real-time system design. Each chapter focuses on a particular technique and examples help reinforce the theory presented in the text. Coverage includes advanced scheduling theory, as well as new specification and verification methods, linked together by consideration of a common, non-trivial example. All chapters contains exercises in the general text as well as graded exercises at the end.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

The Meme Machine

Автор:
Категория: psychology, memetics, sociology
Размер книги: 1.72 Mb
Только что пользователи скачали эти книги:

Особая процедура

Автор:
Категория: Эротика, Секс
Размер книги: 17 Kb

Ричард Йейтс. Пасхальный парад

Автор:
Размер книги: 344 Kb

VBA в Office 2000. Офисное программирование

Автор:
Категория: computers, computers, prog
Размер книги: 36.36 Mb

Coming Home

Автор:
Размер книги: 1 Kb

Coleridge's Writings: Vol. 4: On Religion And Psychology

Автор:
Категория: Психология
Размер книги: 1.60 Mb

The Watchtower

Автор:
Категория: fiction
Размер книги: 326 Kb