Rajaa
Hakutulokset: 0792392450 kuuluu kategoriaan kirjat
Rajaa
yksi hakutulos.
The SECD Microprocessor
sidottu,
1992,
englanti,
ISBN 9780792392453
This is a milestone in machine-assisted microprocessor verification. Gordon [20] and Hunt [32] led the way with their verifications of sim ple designs, Cohn [12, 13] followed this …