Advances in formal design methods for CAD proceedings of the... held on June, 1995

Saved in:

Bibliographic Details
Corporate Authors:	IFIP WG5.2 on Formal Design Methods for Computer-Aided Design, International Federation for Information Processing
Other Authors:	Gero, John, Sudweeks, Fay
Format:	Book
Published:	London Chapman and Hall 1996
Edition:	1st ed
Subjects:	Computer-aided design > Congresses Engineering > Congresses > Data processing
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000n a2200000 a 4501
001	wils-144674
020	#	#	\|a 0412727102
090	0	0	\|a TA174 \|b .I58 1996
110	1	#	\|a IFIP WG5.2 on Formal Design Methods for Computer-Aided Design \|j Mexico City, Mexico \|k 1995
245	1	0	\|a Advances in formal design methods for CAD \|b proceedings of the... held on June, 1995 \|c edited by John S. Gero and Fay Sudweeks
250	#	#	\|a 1st ed
260	#	#	\|a London \|b Chapman and Hall \|c 1996
300	#	#	\|a 298 p. \|b ill. \|c 24 cm
504	#	#	\|a Includes bibliographical references and index
650	#	0	\|a Computer-aided design \|v Congresses
650	#	0	\|a Engineering \|v Congresses \|x Data processing
700	1	#	\|a Gero, John
700	#	#	\|a Sudweeks, Fay
710	1	#	\|a International Federation for Information Processing \|c Working Group 5.2
856	4	0	\|z Click Here to View Status and Holdings. \|u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=144674
964	#	#	\|c BOK \|d 01
040	#	#	\|a Shah Alam
998	#	#	\|a 00250##a002.5.2\|\|00260##a002.8.2\|\|00260##b002.8.4\|\|00260##c002.7.6\|\|00300##a003.4.1\|\|00300##b003.6.1\|\|00300##c003.5.1\|\|01700##a0011.2.2\|\|