Higher order logic and hardware verification

T. Melham
Bok · Engelsk · 1993 Thomas F. Melham

Utgitt	Cambridge : Cambridge University Press , c1993
Omfang	viii, 165 s. : ill.
Emner	Formallogikk Maskinvareverifikasjon Maskinverifikasjon : (NO-TrBIB)REAL006574 Ml
ISBN	052141718X