Formal methods for VLSI design : IFIP WG 10.5 lecture notes

edited by Jørgen Staunstrup
Bok · Språk ikke angitt · 1990

Utgitt	Amsterdam : North-Holland , 1990
Omfang	329 s. : ill.
Opplysninger	"... notes ... written for the international summer school on "Formal Methods for VLSI Design" which took place in June 1990" - Forordet.
Emner	Computer-aided design Integrated circuits - Very large scale integration Design and construction Dataprocessing Integrated circuits - Very large scale integration Testing Integrerte kretser - DAK
ISBN	0444888586