Specifying Message Passing and Time-Critical Systems with Temporal Logic, Ron Koymans

Автор: J.P. Florens; M. Mouchart; J.P. Raoult; L. Simar;
Название: Specifying Statistical Models
ISBN: 0387908099 ISBN-13(EAN): 9780387908090
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the Second Franco-Belgian Meeting of Statisticians, held in Louvain-la-Neuve, Belgium, October 15-16, 1981

Автор: Fred Kr?ger; Stephan Merz
Название: Temporal Logic and State Systems
ISBN: 3642086802 ISBN-13(EAN): 9783642086809
Издательство: Springer
Рейтинг:
Цена: 55850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic;