REACTIVE SYSTEMS : MODLING,SPECIFICATION AND VERIFICATION (Record no. 34809)

000 -LEADER
fixed length control field 00393nam 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 0521875462
082 ## - CLASSIFICATION NUMBER
Call Number 621.38195 A175
100 ## - AUTHOR NAME
Author ACETO, L.&OTHERS
245 #0 - TITLE STATEMENT
Title REACTIVE SYSTEMS : MODLING,SPECIFICATION AND VERIFICATION
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Cambridge
Publisher Cambridge University Press
Year of publication 2007
300 ## - PHYSICAL DESCRIPTION
Number of Pages xvi+284p.,25x17Cms.
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 Date checked out Koha item type
      CENTRAL LIBRARY CENTRAL LIBRARY 2008-11-20 K.R.E.C. STUDENTS CO-OP SOCIETY 40.00 621.38195 A175 082264 2019-11-22 Books