|
|
libcats.org
The Temporal Logic of Reactive and Concurrent Systems: SpecificationZohar Manna, Amir PnueliReactive 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.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Искусство программированияАвтор: Дональд КнутКатегория: Языки программирования
Размер книги: 6.15 Mb
Peaceful Coexistence-Two Diametrically Opposed Policies Comment on the Open Letter of Central Committee of the CpsuАвтор: Editorial Departments Of Renmin Ribao(People's Daily) And Hongqi (Red Flag)
Размер книги: 3.21 Mb
Экспресс-курс домоводства для стервы. Принцип экономии времени и сил в действии.Автор: Шацкая Е., Автор: Выскребенцева Е.
Размер книги: 6.23 Mb
Herbal medicine: Biomolecular and clinical aspectsАвтор: Benzie I., Автор: Wachtel-Galor S. (eds.)
Размер книги: 3.98 Mb
Travesty: The Trial of Slobodan Milosevic and the CorruptionАвтор: John Laughland, Автор: Ramsey Clark
Размер книги: 645 Kb
Конституционное право России [Учеб. для вузов по специальности "Юриспруденция"]Автор: Козлова, Автор: Екатерина Ивановна;Кутафин, Автор: Олег Емельянович;авт.Категория: Юридические науки, Право
Размер книги: 2.74 Mb
|
|
|