Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	CHARME 2001 (2001 : Livingston, Scotland)
Imprint:	New York : Springer, 2001.
Description:	xii, 482 p. : ill. ; 24 cm.
Language:	English
Series:	Lecture notes in computer science ; 2144
Subject:	Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses. Integrated circuits -- Verification -- Congresses. Integrated circuits -- Verification. Integrated circuits -- Very large scale integration -- Computer-aided design. Conference papers and proceedings.
Format:	E-Resource Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/4496778

Hidden Bibliographic Details
Varying Form of Title:	IFIP WG 10.5 Advanced Research Working Conference CHARME 2001
Other authors / contributors:	Margaria-Steffen, Tiziana, 1964- Melham, T. F. (Tom F.)
ISBN:	3540425411 (pbk. : alk. paper)
Notes:	Includes bibliographical references and index. Also available via the World Wide Web.

Mansueto

Loading map link

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