Cover Image

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings /

Bibliographic Details
Corporate Author: CHARME 2003 L'Aquila, Italy
Other Authors: Geist, Daniel, 1961-, Tronci, Enrico, 1961-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2003]
Series:Lecture notes in computer science. 2860.
Subjects:
Integrated circuits > Very large scale integration > Computer-aided design > Congresses.
Integrated circuits > Verification > Congresses.
Online Access:http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2860
Description
Physical Description:xii, 426 pages : illustrations ; 24 cm.
Also available via the World Wide Web.
Bibliography:Includes bibliographical references and index.
ISBN:354020363X (alk. paper)
ISSN:0302-9743 ;