分享给好友:
Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement - Monographs in Computer Science Manfred Broy 2001 edition
Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement - Monographs in Computer Science
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
| 介质类型 | 图书 Hardcover Book (精装硬皮书) |
| 已发行 | 2001年4月27日 |
| ISBN13 | 9780387950730 |
| 出版商 | Springer-Verlag New York Inc. |
| 页数 | 363 |
| 商品尺寸 | 156 × 234 × 22 mm · 653 g |
| 语言 | 英语 |
Manfred Broy的更多作品
显示全部Mere med samme udgiver
查看Manfred Broy的全部作品 ( 例如 Paperback Book , Hardcover Book 及 Book )