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 | |
ISBN | 0444888586
|