Domain modeling and the duration calculus : (Record no. 677165)

001 - CONTROL NUMBER
control field ocn184952128
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 071220s2007 gw a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Transcribing agency GW5XE
Modifying agency GW5XE
-- YNG
-- NUI
-- E7B
-- UBC
-- EBLCP
-- OCLCQ
-- MHW
-- OCLCQ
019 ## -
-- 230743481
-- 288311647
-- 607343270
-- 646764667
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540749646
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540749640
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540749639 (softcover : alk. paper)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540749632 (softcover : alk. paper)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 6611354115
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9786611354114
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 12055247
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000043265513
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 13657985
029 1# - (OCLC)
OCLC library identifier HEBIS
System control number 192086030
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)184952128
Canceled/invalid control number (OCoLC)230743481
-- (OCoLC)288311647
-- (OCoLC)607343270
-- (OCoLC)646764667
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.54
Item number .I577 2007
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) .I577 2007
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element International Training School on Domain Modeling and the Duration Calculus
Date of meeting (2007 :
Location of meeting Shanghai, China)
245 10 - TITLE STATEMENT
Title Domain modeling and the duration calculus :
Remainder of title international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /
Statement of responsibility, etc Chris W. George, Zhiming Liu, Jim Woodcock (eds.).
246 30 - VARYING FORM OF TITLE
Title proper/short title Duration caculus
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin ;
-- New York :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc c2007.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (viii, 235 p.) :
Other physical details ill.
490 0# - SERIES STATEMENT
Series statement Springer
490 1# - SERIES STATEMENT
Series statement LNCS sublibrary. SL 1, Theoretical computer science and general issues
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume number/sequential designation 4710.
Series statement Tutorial
500 ## - GENERAL NOTE
General note "Thoroughly revised tutorial papers based on lectures given ... at the International Training School on Domain Modeling and the Duration Calculus, held ... as an associated event of ICTAC 2007, the 4th International Colloquium on Theoretical Aspects of Computing"--P. [4] of cover.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Delivering real-time behavior / Alan Burns and Andy Wellings -- Applicative modelling with RAISE / Chris George -- A theory of duration calculus with application / Michael Reichhardt Hansen and Dang Van Hung -- Understanding programming language concepts via operational semantics / Cliff B. Jones.
520 ## - SUMMARY, ETC.
Summary, etc This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Training School on Domain Modeling and the Duration Calculus, held in Shanghai, China, in September 2007 as an associated event of ICTAC 2007, the 4th International Colloquium on Theoretical Aspects of Computing. The four tutorial papers presented provide competent coverage of software security, domain modeling of software engineering, and duration calculus for real time systems - originating from lectures of leading experts in these fields from Europe and Asia. Topics addr.
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
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer logic
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programming languages (Electronic computers)
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programming languages (Electronic computers)
General subdivision Semantics
Form subdivision Congresses.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name George, Chris W.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Liu, Zhiming,
Dates associated with a name 1961-
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Woodcock, Jim.
711 2# - ADDED ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element ICTAC 2007
Date of meeting (2007 :
Location of meeting Macau, China)
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Print version:
Main entry heading International Training School on Domain Modeling and the Duration Calculus (2007 : Shanghai, China).
Title Domain modeling and the duration calculus.
Place, publisher, and date of publication Berlin ; New York : Springer, c2007
International Standard Book Number 9783540749639
-- 3540749632
Record control number (OCoLC)170907283
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title LNCS sublibrary.
Number of part/section of a work SL 1,
Name of part/section of a work Theoretical computer science and general issues.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 4710.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science.
Name of part/section of a work Tutorial.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/978-3-540-74964-6">http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/978-3-540-74964-6</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 Full call number Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
          UT Tyler Online UT Tyler Online Online 2006-05-09 2006C00338 QA76.54 .I577 2007 ocn184952128 2012-01-24 http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/978-3-540-74964-6 2012-01-24 Electronic Book