Operational semantics for timed systems : (Record no. 682159)

001 - CONTROL NUMBER
control field ocn262680867
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
additional material characteristics m d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field crmn ---mucun|
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 081017s2005 gw a ob 001 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Transcribing agency GW5XE
Modifying agency QCL
-- OHX
-- COO
-- UAB
-- OCLCQ
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 974226734
Source DE-101
019 ## -
-- 58893681
-- 316434704
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540320081
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540320083
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540255761
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540255765
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9786611408282
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 6611408282
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000042371971
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 12055468
029 1# - (OCLC)
OCLC library identifier HEBIS
System control number 192059718
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)262680867
Canceled/invalid control number (OCoLC)58893681
-- (OCoLC)316434704
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.54
Item number .R87 2005
072 #7 - SUBJECT CATEGORY CODE
Subject category code QA
Source lcco
049 ## - LOCAL HOLDINGS (OCLC)
Holding library TEXA
090 #4 - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (OCLC)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA76.54
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) .R87 2005
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Rust, Heinrich.
245 10 - TITLE STATEMENT
Title Operational semantics for timed systems :
Remainder of title a non-standard approach to uniform modeling of timed and hybrid systems /
Statement of responsibility, etc [author, Heinrich Rust].
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin ;
-- New York :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc c2005.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xii, 223 p.) :
Other physical details ill.
490 0# - SERIES STATEMENT
Series statement Springer
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume number/sequential designation 3456
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p. [215]-220) and index.
588 ## -
-- Description based on print version record.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Real-time data processing.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Real-time programming.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Hybrid systems.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Operating systems (Computers)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Semantics.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Print version:
Main entry heading Rust, Heinrich.
Title Operational semantics for timed systems.
Place, publisher, and date of publication Berlin ; New York : Springer, c2005
International Standard Book Number 3540255761
-- 9783540255765
Record control number (DLC) 2005923604
-- (OCoLC)59557649
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 3456.
-- 0302-9743
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/b135629">http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/b135629</a>
Link text Click here to view this ebook.
901 ## - LOCAL DATA ELEMENT A, LDA (RLIN)
Platform Springer
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Electronic Book
Holdings
Withdrawn status Lost item Source of classification or shelving scheme Damaged status Not for loan Permanent Location Current Location Shelving location Date acquired Source of acquisition Total Checkouts Full call number Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
          UT Tyler Online UT Tyler Online Online 05/09/2006 2006C00338   QA76.54 .R87 2005 ocn262680867 01/25/2012 http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/b135629 01/25/2012 Electronic Book