Formal methods in circuit design /

Saved in:

Bibliographic Details
Main Author:	Stavridou, V.
Format:	Book
Language:	English
Published:	New York : Cambridge, c1993.
Subjects:	Electronic digital computers > Circuits. Engineering design > computer programs.
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000cam a22000002a 4500
001	0000007347
003	DAYSTAR
005	20171002014452.0
008	030703s1993 nyu 001 0 eng d
020			\|a 0521443369
040			\|a Daystar
040			\|d COnyango
050	0	0	\|a TK7888.4 \|b .S73
100	1		\|a Stavridou, V.
245	1	0	\|a Formal methods in circuit design / \|c V. Stavridou.
260			\|a New York : \|b Cambridge, \|c c1993.
300			\|a 193 p.
650		0	\|a Electronic digital computers \|x Circuits.
650		0	\|a Engineering design \|x computer programs.
908			\|a 060412
942			\|c G
952			\|0 4 \|1 0 \|4 0 \|6 TK78884 S73 \|7 0 \|9 2746 \|a DUN \|b DUN \|c STORE \|d 2017-09-28 \|l 0 \|o TK7888.4.S73 \|p BK040136 \|r 2017-09-28 00:00:00 \|t c.1 \|w 2017-09-28 \|x 32870 \|y G
999			\|c 1742 \|d 1742