Practical Theory of Reactive Systems

Name: Practical Theory of Reactive Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540233428
Price: 52.75 EUR
Availability: InStock

Incremental Modeling of Dynamic Behaviors

Автор: R. Kurki-Suonio

Език:

Корици: С твърди корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 10-13 дни

52.75 € 103.17 лв

This book presents a "practical theory" of reactive systems, with formal foundations in Temporal Log...

Информация за книгата

Автор

R. Kurki-Suonio

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2005

страници

420

EAN

9783540233428

ISBN

3540233423

Enbook ID

01559902

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

754

Размери

155 x 235 x 29

Пълно описание

This book presents a "practical theory" of reactive systems, with formal foundations in Temporal Logic of Actions. The theory supports incremental development of operational, object-oriented models in steps that preserve already established properties. Models are given in an action-oriented language, and their modularity relates to aspects in aspect-oriented programming. The emphasis is on theoretical understanding of reactive behaviors, and on using "horizontal" modularity to manage their complexity.Special chapters are devoted to the applicability of the theory to distributed and real-time systems. Incremental specification is illustrated in the book by a number of examples of varying size and complexity.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Practical Theory of Reactive Systems

Incremental Modeling of Dynamic Behaviors

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също