東華大學圖書館 |

Language: English

Back

Switch To: Labeled | MARC Mode | ISBD

Advances in formal design methods fo...

Gero, John S. (1943-.)

Amazon

博客來

Advances in formal design methods for CAD : = proceedings of the IFIP WG5.2 workshop on formal design methods for computer-aided design, June 1995 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Advances in formal design methods for CAD :/ edited by John S. Gero and Fay Sudweeks.
Reminder of title:	proceedings of the IFIP WG5.2 workshop on formal design methods for computer-aided design, June 1995 /
other author:	Gero, John S.
corporate name:	IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design
Published:	London :Chapman & Hall, on behalf of the International Federation for Information Processing, : c1996.,
Description:	vi, 298 p ;24 cm.
Subject:	Computer-aided design - Congresses. -
ISBN:	0412727102 :

Advances in formal design methods for CAD : = proceedings of the IFIP WG5.2 workshop on formal design methods for computer-aided design, June 1995 /
Advances in formal design methods for CAD :proceedings of the IFIP WG5.2 workshop on formal design methods for computer-aided design, June 1995 /edited by John S. Gero and Fay Sudweeks. - 1st ed. - London :Chapman & Hall, on behalf of the International Federation for Information Processing,c1996. - vi, 298 p ;24 cm.

ISBN: 0412727102 :EUR195.50Subjects--Topical Terms:

649281
Computer-aided design
--Congresses.

Advances in formal design methods for CAD : = proceedings of the IFIP WG5.2 workshop on formal design methods for computer-aided design, June 1995 /
LDR:00544pam a2200157 a 45 001 709805
003 UkOxU
005 20070123
008 061212s1996 enk 000 0 eng
020 $a 0412727102 : $c EUR195.50
035 $a IM95T0005
040 $a NDHU $c NDHU $d NDHU
092 $a D0504355431
111 $a IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design $d (June : $c Mexico City, Mexico). $3 774366
245 1 0 $a Advances in formal design methods for CAD : $b proceedings of the IFIP WG5.2 workshop on formal design methods for computer-aided design, June 1995 / $c edited by John S. Gero and Fay Sudweeks.
250 $a 1st ed.
260 $a London : $c c1996. $b Chapman & Hall, on behalf of the International Federation for Information Processing,
300 $a vi, 298 p ; $c 24 cm.
650 $a Computer-aided design $x Congresses. $3 649281
700 $a Gero, John S. $q (John Steven), $d 1943-. $3 774365
700 $a Sudweeks, Fay. $3 662704
710 $a International Federation for Information Processing. $3 543167