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 /

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 /

Show other versions (3)
Bibliographic Details
Corporate Author: CHARME 2003 L'Aquila, Italy
Other Authors: Geist, Daniel, 1961-, Tronci, Enrico, 1961-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, c2003
Berlin ; New York : Springer-Verlag, ©2003
Berlin ; New York : c2003
New York : 2003
Berlin ; New York : [2003]
Series:Lecture notes in computer science ; 2860
Lecture notes in computer science ; 2860
Lecture notes in computer science 2860
Lecture notes in computer science 2860
Subjects:
Integrated circuits > Verification > Congresses
Integrated circuits > Very large scale integration > Computer-aided design > Congresses
Circuits intégrés à très grande échelle > Conception assistée par ordinateur > Congrès
Circuits intégrés > Vérification > Congrès
Circuit intégré à très grande échelle
Circuit intégré
Conception assistée par ordinateur
Entwurfsautomation
Entwurfssprache
Formale Methode
Hardwareentwurf
Hardwareverifikation
Integrated circuits > Verification
Integrated circuits > Very large scale integration > Computer-aided design
Kongress
Model Checking
Model-checking (Informatique)
System-on-Chip
Vérification de logiciels
Hardware
Vormgeving
Conference papers and proceedings
L'Aquila (2003)

Internet

University of Chicago

Holdings details from University of Chicago
Call Number: TK7874.75.C453 2003

Harvard University

Holdings details from Harvard University
Call Number: QA75 .L4 vol. 2860

Duke University

Holdings details from Duke University
Call Number: 001.64 L471, v. 2860

Cornell University

Holdings details from Cornell University
Call Number: TK7874 .C55 2003

Columbia University

Holdings details from Columbia University
Call Number: TK7874.75 .C453 2003

University of Pennsylvania

Holdings details from University of Pennsylvania
Call Number: TK7874.75 .C453 2003

Brown University

Holdings details from Brown University
Call Number: TK7874.75 .C453 2003

Similar Items