International Workshop on Applied Formal Methods for Correct VLSI Design,, Houthalen,, 1989
VLSI design methods : proceedings of the International Workshop on [...] / edited by Luc J. M. Claesen . - Amsterdam : North-Holland, 1990 . - 2 vol. : il
Vol. 2: Formal VLSI correctness verification. - XV, 427 p.. Vol. 1: Formal VLSI specification and synthesis. - XV, 414 p.



ISBN 0-444-88372-X (vol. 1, encadernado).
ISBN 0-444-88688-5 (vol. 1, encadernado).

Circuitos integrados--Congressos, conferências, etc.
Design de circuitos--Congressos, conferências, etc.

CDU 621.3.04(063)