IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design ((June :)
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Advances in formal design methods for CAD : = proceedings of the IFIP WG5.2 workshop on formal design methods for computer-aided design, June 1995 /
by:
Gero, John S. (1943-.); Sudweeks, Fay.; International Federation for Information Processing.; IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design ((June :)
(書目-語言資料,印刷品)