Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)

by Ketil Stolen and Manfred Broy

Book Overview

A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model,... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0387950737
• Release Date: April 2001
• Publisher: Springer
• Length: 363 Pages
• Weight: 2.31 lbs.
• Dimensions: 9.5" x 0.9" x 6.3"