Reactive systems : (Record no. 8277)

MARC details
000 -LEADER
fixed length control field 01756cam a22004217a 4500
001 - CONTROL NUMBER
control field 15092969
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20171106120010.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 (hbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521875463 (hbk.)
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)ocn123374684
040 ## - CATALOGING SOURCE
Original cataloging agency IISER Bhopal
Transcribing agency IISER Bhopal
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.330151 Ac37R
Edition number 23
222 ## - KEY TITLE
Key title EECS-textbook collection
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 Cambridge :
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.
9 (RLIN) 22090
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Expert systems (Computer science)
General subdivision Verification.
9 (RLIN) 22091
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element System design
General subdivision Mathematical models.
9 (RLIN) 22092
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Aceto, Luca.
9 (RLIN) 22093
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Anna Ingólfsdóttir,
9 (RLIN) 22094
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Larsen, K. G.
9 (RLIN) 22095
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Srba, Jiřiʹ.
9 (RLIN) 22096
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Contributor biographical information
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/enhancements/fy0805/2007282029-b.html">http://www.loc.gov/catdir/enhancements/fy0805/2007282029-b.html</a>
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/enhancements/fy0805/2007282029-d.html">http://www.loc.gov/catdir/enhancements/fy0805/2007282029-d.html</a>
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents only
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/enhancements/fy0805/2007282029-t.html">http://www.loc.gov/catdir/enhancements/fy0805/2007282029-t.html</a>
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 Dewey Decimal Classification
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type Public note Total Renewals Date checked out
    Dewey Decimal Classification   Not For Loan Reference Central Library, IISER Bhopal Central Library, IISER Bhopal Reference Section 06/11/2017 27 4102.16   006.330151 Ac37R 8703 06/11/2017 5127.95 06/11/2017 Books Reserve    
            Central Library, IISER Bhopal Central Library, IISER Bhopal General Section 19/12/2017 27 4157.50 9 006.330151 Ac37R 8793 07/06/2019 5196.94 19/12/2017 Books   2 07/06/2019
    Dewey Decimal Classification       Central Library, IISER Bhopal Central Library, IISER Bhopal General Section 19/12/2017 27 4157.50 3 006.330151 Ac37R 8791 21/04/2018 5196.94 19/12/2017 Books   1 21/04/2018
    Dewey Decimal Classification       Central Library, IISER Bhopal Central Library, IISER Bhopal General Section 19/12/2017 27 4157.50 8 006.330151 Ac37R 8792 27/06/2025 5196.94 19/12/2017 Books     31/05/2025
            Central Library, IISER Bhopal Central Library, IISER Bhopal General Section 19/12/2017 27 4157.50 8 006.330151 Ac37R 8794 01/04/2024 5196.94 19/12/2017 Books     01/04/2024


Contact for Queries: skpathak@iiserb.ac.in