Current trends in hardware verification and automated theorem proving

G. Birtwistle, P. A. Subrahmanyam, editors
Bok · Språk ikke angitt · 1989

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 : (NO-TrBIB)REAL009781 Vis mer... Bevisføring - Databehandling Integrerte kretser - Prøving Mikroprosessorer Teorembevisføring Verifikasjon
ISBN	0387969888. - 3540969888