Formal methods for VLSI design : IFIP WG 10.5 lecture notes / edited by Jrgen Staunstrup
-
| | | | | Formal methods for VLSI design : IFIP WG 10.5 lecture notes. - Amsterdam , 1990. |
| | 329 p. : ill. ; 24 cm Written for thse international summer school organized by the Computer Science Dept. of the Technical University of Denmark and held in June 1990. | | ISBN 0444888586. | | | | 1. Computer-aided design 2. Integrated circuits - Very large scale integration - Design and construction - Data processing 3. Integrated circuits - Very large scale integration - Testing.I. Staunstrup, J.,1952- II. Danmarks tekniske hjskole. Instituttet for datateknik III. IFIP WG 10.5. IV. Title V. Series | | | Library : UiTM Shah Alam |
| | Accn No. | Item Status | Add Id | Location | SMD | Item Category | | 317747 | Shelf | | PERPUSTAKAAN KEJURUTERAAN TAR(P3) | BOOK | ret |
|
|
|
