Trulli

Wazir Agha library

Online Public Access Catalogue

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
©Automation Section, Wazir Agha Library, UOS,2021.All right reserved
Customized and Maintained by Ghulam Mustafa