Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference - detaljert visning

Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings

CHARME '95
Bok Engelsk 1995


Utgitt	Berlin : Springer , c1995
Omfang	VIII, 342 s. : ill.
Emner	Datamaskiner - Kvalitetskontroll integrerte kretser verifikasjon maskinvare verifisering
ISBN	3540603859