Franklin

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.).

Publication:
Berlin ; New York : Springer, c2005.
Format/Description:
Conference/Event
Book
xii, 412 p. : ill. ; 24 cm.
Conference Name:
CHARME 2005 (2005 : Saarbrüchen, Germany)
Series:
Lecture notes in computer science, 0302-9743 ; 3725
Status/Location:
Loading...

Get It

Details

Other Title:
CHARME 2005
IFIP CHARME 2005
Subjects:
Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses.
Integrated circuits -- Verification -- Congresses.
Notes:
Includes bibiographical references and index.
Contributor:
Borrione, Dominique.
Paul, Wolfgang J., 1951-
IFIP WG 10.5.
ISBN:
3540291059 (pbk.)
OCLC:
61766588
Publisher Number:
9783540291053