Research Catalog

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

Title
Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings / Pierre Laurence, Thomas Kropf (eds.)
Author
CHARME'99 (1999 : Bad Herrenalb, Germany)
Publication
Berlin ; New York : Springer, 1999.

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 1999Off-site

Holdings

Details

Additional Authors
  • Pierre, Laurence.
  • Kropf, Thomas, 1961-
Description
xi, 366 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 1703
Uniform Title
Lecture notes in computer science ; 1703.
Subject
  • Integrated circuits > Computer-aided design > Congresses
  • Integrated circuits > Verification > Congresses
ISBN
3540665595 (pbk.)
LCCN
99051458
OCLC
ocm42680362
Owning Institutions
Columbia University Libraries