Current trends in hardware verification and automated theorem proving

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	New York : Springer , c1989
Omfang	viii, 489 s. : ill.
Opplysninger	"... the outgrouth of a workshop on hardware verification held in Banff, Canada, from June 12 through June 18, 1988" - Forordet.
Emner	(Matematikk) Automatic theorem proving Integrated circuits - Very large scale integration Design and construction Automatisk bevisføring Vis mer... Bevisføring - Databehandling Integrerte kretser - Prøving Mikroprosessorer Verifikasjon
ISBN	0387969888. - 3540969888

Biblioteksøk