Tell your friends about this item:
Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement - Monographs in Computer Science 2001 edition
Manfred Broy
Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement - Monographs in Computer Science 2001 edition
Manfred Broy
Presents a mathematical and logical approach to program and software development suitable for large, distributed systems. Emphasizing on modular system development, and systems engineering, this book explains how software systems can be developed in a systematic way based on mathematical and scientific principles and using well defined interfaces.
363 pages, biography
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | April 27, 2001 |
ISBN13 | 9780387950730 |
Publishers | Springer-Verlag New York Inc. |
Pages | 363 |
Dimensions | 156 × 234 × 22 mm · 653 g |
Language | English |
Show all
More by Manfred Broy
See all of Manfred Broy ( e.g. Paperback Book , Hardcover Book and Book )