Research Catalog

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

Title
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
CHARME 2005 (2005 : Saarbrücken, Germany)
Publication
Berlin ; New York : Springer, [2005], ©2005.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance TK7874.75 .C453 2005gOff-site

Details

Additional Authors
  • Borrione, Dominique.
  • Paul, Wolfgang J., 1951-
  • IFIP WG 10.5.
Description
xii, 412 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 3725
Uniform Title
Lecture notes in computer science ; 3725.
Alternative Title
  • CHARME 2005
  • IFIP CHARME 2005
Subject
  • Integrated circuits > Computer-aided design > Congresses
  • Integrated circuits > Verification > Congresses
Bibliography (note)
  • Includes bibiographical references and index.
ISBN
3540291059 (pbk.)
LCCN
  • 2005932937
  • 9783540291053
OCLC
  • ocm61766588
  • SCSB-5207979
Owning Institutions
Columbia University Libraries