Advances in formal design methods for CAD : proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 /

Bibliographic Details
Corporate Authors:	IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design Mexico City, Mexico, International Federation for Information Processing
Other Authors:	Gero, John S. (John Steven), 1943-, Sudweeks, Fay
Format:	Conference Proceeding Book
Language:	English
Published:	London ; New York : Chapman & Hall, on behalf of the International Federation for Information Processing, 1996.
Edition:	1st ed.
Subjects:	Computer-aided design > Congresses. Engineering > Design > Use of > Computers

Remote Storage