Skip to main content alibris logo

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

by ,

Write The First Customer Review
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement - Broy, Manfred, and Stølen, Ketil
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

This book presents a mathematical and logical approach to program and software development suitable for large, distributed systems. The emphasis is on modular system development, and systems engineering, and it explains how software systems can be developed in a systematic way based on mathematical and scientific principles and using well defined interfaces. An essential resource for all researchers and professionals in computer science, software systems engineering and computer engineering.

loading
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement 2012, Springer, New York, NY

ISBN-13: 9781461265184

Trade paperback

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement 2001, Springer, New York, NY

ISBN-13: 9780387950730

2001 edition

Hardcover