Advances in formal design methods for CAD : proceedings of the IFIP WG5.2 workshop on formal design methods for computer-aided design
Gero, John S
Advances in formal design methods for CAD : proceedings of the IFIP WG5.2 workshop on formal design methods for computer-aided design - 1st ed - London: Chapman & Hall, 1996 - vi, [iv], 298 p. : ill. ; 22 cm
9780412727108
Computer-aided design
620.00420285 GER
Advances in formal design methods for CAD : proceedings of the IFIP WG5.2 workshop on formal design methods for computer-aided design - 1st ed - London: Chapman & Hall, 1996 - vi, [iv], 298 p. : ill. ; 22 cm
9780412727108
Computer-aided design
620.00420285 GER