Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement - Monographs in Computer Science - Manfred Broy - 图书 - Springer-Verlag New York Inc. - 9780387950730 - 2001年4月27日
如封面与标题不符,以标题为准

Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement - Monographs in Computer Science 2001 edition

价格
元 447
不含税

远程仓调货

预计送达时间 年7月16日 - 年8月3日
添加至iMusic心愿单

Not rated yet

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