A formal methodology for automated synthesis of VLSI systems /
محفوظ في:
OCLC: | 17797746 |
---|---|
المؤلف الرئيسي: | |
مؤلف مشترك: | |
اللغة: | English |
منشور في: |
Linköping, Sweden :
Dept. of Computer and Information Science, Linköping University,
1987.
|
سلاسل: | Linköping studies in science and technology. Dissertations ;
no. 170. |
الموضوعات: | |
التنسيق: | أطروحة Monograph Note that CRL will digitize material from the collection when copyright allows. |
وصف مادي: | xi, 181 p. : ill. ; 24 cm. |
---|---|
بيبلوغرافيا: | Bibliography: p. [173]-181. |
ردمك: | 9178702259 9789178702251 |
مكان النشر: | Sweden. |