KROPF, T INTRODUCTION TO FORMAL HARDWARE VERIFICATION - NEW YORK Springer 1999 - ix+299p., 24X16Cms ISBN: 3540654453 Dewey Class. No.: 621.38195 K93