| Type |  Book |
| ชื่อเรื่อง | Formal VLSI specification and synthesis : VLSI design methods : proceeding / ed. by Luc J.M. Claesen |
| ผู้แต่ง | International Workshop on Applied Formal Methods for Correct VLSI Design (1989 : Houthalen, Belgium) |
| ISBN | 044488372X |
| พิมพลักษณ์ | Amsterdam : North-Holland, 1990 |
| รูปเล่ม | 2 v |
| หัวเรื่อง | Integrated circuits --Very large scale integration --Design and construction --Data processing --Congresses [] |