Formal methods in circuit design /

Formal methods in circuit design /

Saved in:

Bibliographic Details
Author / Creator:	Stavridou, V. (Victoria)
Imprint:	Cambridge ; New York : Cambridge University Press, 1993.
Description:	xiii, 193 p. : ill. ; 26 cm.
Language:	English
Series:	Cambridge tracts in theoretical computer science. 37
Subject:	Integrated circuits -- Very large scale integration -- Design and construction -- Data processing. Computer-aided design. Integrated circuits -- Very large scale integration -- Testing -- Data processing. Integrated circuits -- Very large scale integration -- Computer-aided design. Integrated circuits -- Very large scale integration -- Testing -- Data processing.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/1762046

Hidden Bibliographic Details
ISBN:	0521443369 (hardback)
Notes:	Includes bibliographical references (p. 171-190) and index.

Mansueto

Loading map link

Holdings details from Mansueto
Call Number:	TK7874.75.S880 1993
c.1	Available Loan period: standard loan Request from Mansueto Scan and Deliver Need help? - Ask a Librarian