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)