Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, - detaljert visning

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

FMCAD '96
Bok Engelsk 1996


Utgitt	Berlin : Springer , c1996
Omfang	IX, 470 s. : ill.
Emner	DAK-DAP Formell spesifikasjon Modellering Verifikasjon cad
ISBN	3540619372