libcats.org
Главная

The Temporal Logic of Reactive and Concurrent Systems: Specification

Обложка книги The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification

,
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively.
Популярные книги за неделю:

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

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

Древо жизни

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

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

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

The Meme Machine

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

Журнал 'Радио'. 1978 04 (DjVU)

Автор:
Размер книги: 9.19 Mb

Biology in the Laboratory

Автор: , Автор: , Автор: , Автор:
Размер книги: 11.66 Mb

Большой астрологический справочник

Автор:
Категория: society, , society, religion
Размер книги: 9.91 Mb

A Two-Colored Brocade: The Imagery of Persian Poetry

Автор:
Размер книги: 129.40 Mb

Acting in Musical Theatre

Автор: , Автор:
Размер книги: 1.93 Mb

Bewere the Night

Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Категория: Ужасы и Мистика
Размер книги: 1.01 Mb