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