Mechanized reasoning and hardware design

edited by C. A. R. Hoare and M. J. C. Gordon
Bok · Engelsk · 1992

Utgitt	New York : Prentice Hall , 1992
Omfang	151 s. : fig.
Opplysninger	Bidrag fra et møte avholdt i London 3-4 oktober 1991
Emner	Logic design - Data processing Microprocessors - Design and construction Data processing Automatisk bevisføring : (NO-TrBIB)REAL009781 Automatisk regulering Vis mer... Bevisføring Datamaskiner - Kvalitetskontroll Maskinvare Matematisk logikk
ISBN	0135724058