RecordNumber
73464
Author
CHARME 2001 (2001 : Livingston)
Title
Correct hardware design and verification methods: 11th IFIP WG 10.5 Advanced Research Working Conference, ...proceedings
Editor
Tiziana Margaria, Tom Melham (eds.)
Publication
Springer
Publication Year
c2001
Collation
xii, 482 p
Series
Lecture notes in computer science ; 2144
Bibliography
Includes bibliographies
Subject
Integrated circuits-Very large scale integration-Computer-aided design-Congresses , Integrated circuits-Verification-Congresses
ADDED ENTRIES
Margaria-Steffen, Tiziana, 1964-, ed
Main Class
621
Sub Class
.395
Cutter no
C824c
Date
2001
وارد كنندة اطلاعات
zharfi^d2004/06/01 16:37:00