טוען...
Current trends in hardware verification and automated theorem proving
מחבר ראשי: | |
---|---|
פורמט: | Printed Book |
שפה: | English |
יצא לאור: |
New York
Springer-Verlag
1989
|
נושאים: |
UL
סימן המיקום: |
621.3.049.77 BIR |
---|---|
עותק | סטטוס עדכני לא זמין |