Interactive Systems. Design Specification, and Verification
12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
Programming and Software Engineering
Gilroy, Stephen W. (EDT)
Harrison, Michael D. (EDT)
- 出版社：Springer-Verlag New York Inc
- 出版年月：2006年 06月
- ISBN：9783540341451
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：267 p.
- 分類： ソフトウェア工学
- DDC分類：004