Coverart for item
The Resource Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures, Chris W. George, Zhiming Liu, Jim Woodcock (eds.), (electronic resource)

Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures, Chris W. George, Zhiming Liu, Jim Woodcock (eds.), (electronic resource)

Label
Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures
Title
Domain modeling and the duration calculus
Title remainder
international training school, Shanghai, China, September 17-21, 2007 : advanced lectures
Statement of responsibility
Chris W. George, Zhiming Liu, Jim Woodcock (eds.)
Title variation
Duration caculus
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Member of
Cataloging source
CaPaEBR
LC call number
QA76.54
LC item number
.I577 2007eb
http://bibfra.me/vocab/lite/meetingDate
2007
http://bibfra.me/vocab/lite/meetingName
International Training School on Domain Modeling and the Duration Calculus
http://library.link/vocab/relatedWorkOrContributorDate
  • 1961-
  • 2007
http://library.link/vocab/relatedWorkOrContributorName
  • George, Chris W
  • Liu, Zhiming
  • Woodcock, Jim
  • ebrary, Inc
  • ICTAC 2007
Series statement
  • Lecture notes in computer science. Tutorial
  • Lecture notes in computer science,
Series volume
4710
http://library.link/vocab/subjectName
  • Computer logic
  • Programming languages (Electronic computers)
  • Programming languages (Electronic computers)
  • Real-time data processing
Summary expansion
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, as an associated event of ICTAC 2007. Topics addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach
Label
Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures, Chris W. George, Zhiming Liu, Jim Woodcock (eds.), (electronic resource)
Instantiates
Publication
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."
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000317286
Dimensions
unknown
Isbn
9783540749639
Specific material designation
remote
System control number
(WaSeSS)bookssj0000317286
Label
Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures, Chris W. George, Zhiming Liu, Jim Woodcock (eds.), (electronic resource)
Publication
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."
Bibliography note
Includes bibliographical references and index
Control code
OCM1bookssj0000317286
Dimensions
unknown
Isbn
9783540749639
Specific material designation
remote
System control number
(WaSeSS)bookssj0000317286

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...