Formal verification of hardware design

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	Los Alamos, CA : IEEE Computer Society Press , c1990
Omfang	IX, 326 s. : ill.
Emner	Computer software - Verification Computer-aided design Integrated circuits - Very large scale integration Design and construction Dataprocessing VLSI Verifikasjon
ISBN	0818660171. - 0818690178

Biblioteksøk