Formal hardware verification : methods and systems in comparison

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Berlin : Springer , c1997
Omfang	XII, 367 s. : ill.
Emner	Computer-aided design Integrated circuits - Verification Integrated circuits - Very large scale integration Design and construction Dataprocessing Datamaskiner - Kvalitetskontroll Vis mer... Synkronisering Teknologi VHDL Verifikasjon integrerte kretser verifikasjon
ISBN	3540634754

Biblioteksøk