Specification and Development of Interactive Systems
Focus on Streams, Interfaces, and Refinement
Monographs in Computer Science
Broy, Manfred
Stolen, Ketil
- 出版社：Springer, Berlin
- 出版年月：2001年 00月
- ISBN：9780387950730
- 装丁：HRD
-
装丁について
- 版次：2001. XV
- 巻数・ページ数：350 p.
- 分類：