Advances in formal design methods for CAD : proceedings of the IFIP WG5.2 workshop on formal design methods for computer-aided design june 1995 /
Gero, John
- London : Chapman & Hall, c1996.
- vi, 298 p. : ill. : diarams ; 21 cm.
0412727102 9780412727108
Machine Manufacturing
CAD
620.0042 / ADV
0412727102 9780412727108
Machine Manufacturing
CAD
620.0042 / ADV