Duration calculus : (Record no. 10807)

MARC details
000 -LEADER
fixed length control field 01000 a2200301 4500
001 - CONTROL NUMBER
control field 10807
003 - CONTROL NUMBER IDENTIFIER
control field TR-AnTOB
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200701111416.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 030930s2004 gw b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2003066406
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540408231 (hardcover : acid-free paper)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title İngilizce
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 #0 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.54
Item number .Z46 2004
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA76.54 .Z46 2004
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Zhou, Chaochen,
Dates associated with a name 1937-
9 (RLIN) 2252
245 #0 - TITLE STATEMENT
Title Duration calculus :
Remainder of title a formal approach to real-time systems /
Statement of responsibility, etc. Chaochen Zhou, Michael R. Hansen.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Berlin :
-- New York :
Name of producer, publisher, distributor, manufacturer Springer,
Date of production, publication, distribution, manufacture, or copyright notice c2004.
300 ## - PHYSICAL DESCRIPTION
Extent x, 247 p. ;
Dimensions 25 cm.
490 0# - SERIES STATEMENT
Series statement EATCS monographs on theoretical computer science
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Real-time data processing
9 (RLIN) 2254
Topical term or geographic name entry element Mathematics
General subdivision Data processing
9 (RLIN) 926
Topical term or geographic name entry element Formal methods (Computer science)
9 (RLIN) 2255
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Hansen, Michael R.,
Dates associated with a name 1956-
9 (RLIN) 2253
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Materials specified (bound volume or other part) Not for loan Collection code Home library Current library Shelving location Date acquired Source of acquisition Coded location qualifier Cost, normal purchase price Serial Enumeration / chronology Inventory number Total Checkouts Total Holds Full call number Barcode Copy number Date shelved Koha item type
      C.1 Ödünç Verilebilir / Available Genel Koleksiyon Merkez Kütüphane Merkez Kütüphane Genel Koleksiyon / Main Collection 04/12/2004 Satın Alma / Purchase 87570.00 1 BİL     QA76.54 .Z46 2004 0000713 1 21/04/2010 Book
Devinim Yazılım Eğitim Danışmanlık tarafından Koha'nın orjinal sürümü uyarlanarak geliştirilip kurulmuştur.