-
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
-
Link To Document :
