International Summer School on Formal Methods for VLSI Design,, 1990
Formal methods for VSLI design : proceedings of the International Summer School [...] / edited by Jorgen Staunstrup . - Amsterdam : North-Holland, 1990 . - 329 p.


ISBN 0-444-88858-6.

Circuitos integrados
Design de circuitos

CDU 621.3.049.77(063)