-
RecordNumber
13746
-
Title
Current trends in hardware verification and automated theorem proving
-
Editor
G. Birtwi stle ¶ P. A. Subrahmaryam editors
-
Publication
Springer
-
Publication Year
c1989
-
Collation
viii, 489p
-
Bibliography
Includes bibliographies
-
Subject
Integrated circuits- Very large scale integration- Design construction , Automatic theorem proving
-
ADDED ENTRIES
Birtwistfe, G. ed
-
Main Class
621
-
Sub Class
.395
-
Cutter no
C976
-
وارد كنندة اطلاعات
0617 ي ناسارخ^d//
-
Link To Document :
