Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 ; proceedings / Dominique Borrione, Wolfgang Paul (eds.).

Author/creator CHARME 2005
Other author Borrione, Dominique.
Other author Paul, Wolfgang J., 1951-
Other author IFIP WG 10.5.
Format Electronic
Publication InfoBerlin ; New York : Springer, ©2005.
Descriptionxii, 412 pages : illustrations ; 24 cm.
Supplemental ContentRestricted to SpringerLink subscribers
Subjects
Integrated circuits--Very large scale integration. --Computer-aided design. --Congresses.
Integrated circuits--Verification. --Congresses.

Portion of title CHARME 2005
Spine title IFIP CHARME 2005
SeriesLecture notes in computer science ; 3725, 0302-9743 ;
Lecture notes in computer science 3725. ^A466336
Bibliography noteIncludes bibiographical references and index.
LCCN 2005932937
ISBN3540291059 (pbk.)
ISBN9783540291053

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks TK7874.75 .C453 2005 ✔ Available Place Hold