KROPF, T

INTRODUCTION TO FORMAL HARDWARE VERIFICATION - NEW YORK Springer 1999 - ix+299p., 24X16Cms

3540654453

621.38195 K93