FEEDBACK Smiley face

Reactive systems : (Record no. 6659)

000 -LEADER
fixed length control field 01319cam a22003617a 4500
001 - CONTROL NUMBER
control field 15092969
003 - CONTROL NUMBER IDENTIFIER
control field IIITD
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20190704104540.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 071126s2007 enka b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2007282029
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBA728518
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 013715613
Source Uk
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521875462
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)ocn123374684
040 ## - CATALOGING SOURCE
Original cataloging agency UKM
Transcribing agency UKM
Modifying agency BTCTA
-- BAKER
-- BWKUK
-- YDXCP
-- DLC
042 ## - AUTHENTICATION CODE
Authentication code ukblcatcopy
-- lccopycat
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.E95
Item number R39 2007
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.33
Edition number 22
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Aceto, Luca
245 00 - TITLE STATEMENT
Title Reactive systems :
Remainder of title modelling, specification and verification
Statement of responsibility, etc Luca Aceto ... [et al.].
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc New Delhi ;
-- New York :
Name of publisher, distributor, etc Cambridge University Press,
Date of publication, distribution, etc ©2007.
300 ## - PHYSICAL DESCRIPTION
Extent xvi, 284 p. :
Other physical details ill. ;
Dimensions 26 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p. 267-279) and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Expert systems (Computer science)
General subdivision Validation.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Expert systems (Computer science)
General subdivision Verification.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element System design
General subdivision Mathematical models.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Anna Ingólfsdóttir
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Larsen, K. G.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Srba, Jiřiʹ.
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c copycat
d 2
e ncip
f 20
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Permanent Location Current Location Shelving location Date acquired Cost, normal purchase price Total Checkouts Total Renewals Full call number Barcode Date last seen Date checked out Cost, replacement price Price effective from Koha item type Bill No. Bill Date Vendor/Supplier
        Not For Loan Computer Science and Engineering IIITD IIITD Reference 2013-01-07 2558.40 6 2 REF 006.330 ACE-R 000068 2015-11-17 2015-10-28 £40 2013-01-07 Books 28057 2009-07-24 Segment Book Dist.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in