ISBN 9783540233428,A Practical Theory of Reactive Systems

A Practical Theory of Reactive Systems

Rs4963 Rs6048 18% OFF

Availability: Available

Usually ships in: 2-3 business days

(Free Delivery)

We Accept
ISBN 9783540233428
Check delivery information
 
ISBN 9783540233428
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.

More from Author

Scroll