Advances in formal design methods for CAD : proceedings of the IFIP WG5.2 workshop on formal design methods for computer-aided design, Jne 1995
edited by John S. Gero
- London: Chapman & Hall, 1996.
- x, 298p.
HB
eng
0412727102
Electronic circuit design-data proceeding
Computer aided design-data proceeding
621.395078 / ADV
HB
eng
0412727102
Electronic circuit design-data proceeding
Computer aided design-data proceeding
621.395078 / ADV