ISBN 9783540233428,A Practical Theory of Reactive Systems

A Practical Theory of Reactive Systems

Rs5806

Publisher

Ingram Publisher Services

Publication Year 2005
ISBN-13

ISBN 9783540233428

ISBN-10 3540233423
Binding

Hardback

Number of Pages 440 Pages
Subject

Systems analysis & design

Presents a \"practical theory\" of reactive systems, with formal foundations in Temporal Logic of Actions. This book emphasises theoretical understanding of reactive behaviors and using \"horizontal\" modularity to manage their complexity. It illustrates the incremental specification by a number of examples of varying size and complexity.
Scroll