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//