Biblioteca da Universidade do Minho

Your cart is empty.
IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, Advances in formal design methods for CAD : proceedings / IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design ; ed. John S. Gero, Fay Sudweeks

Advances in formal design methods for CAD : proceedings / IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design ; ed. John S. Gero, Fay Sudweeks . - London : Chapman & Hall, 1996 . - VI, 298 p. : il. 24 cm
0-412-72710-2 Encadernado

681.3