INTRODUCTION TO FORMAL HARDWARE VERIFICATION (Record no. 28986)

000 -LEADER
fixed length control field 00351nam a2200133Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 190711s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 3540654453
082 ## - CLASSIFICATION NUMBER
Call Number 621.38195 K93
100 ## - AUTHOR NAME
Author KROPF, T
245 #0 - TITLE STATEMENT
Title INTRODUCTION TO FORMAL HARDWARE VERIFICATION
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication NEW YORK
Publisher Springer
Year of publication 1999
300 ## - PHYSICAL DESCRIPTION
Number of Pages ix+299p., 24X16Cms
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
952 ## - LOCATION AND ITEM INFORMATION (KOHA)
-- DDC
Holdings
Withdrawn status Lost status Circulation Status Permanent Location Current Location Entry Date Source of acquisition Cost, normal purchase price Full call number Accession Number Koha item type
      CENTRAL LIBRARY CENTRAL LIBRARY 2003-06-26 K.R.E.C. STUDENTS CO-OP SOCIETY 44.95 621.38195 K93 070430 Books