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)
Resource Information
The item 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) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item 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) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Summary
- Annotation:
- Language
- eng
- 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."
- Isbn
- 9783540749639
- 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
- Language
- eng
- Summary
- Annotation:
- 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)
- 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)
- 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 Links
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Domain-modeling-and-the-duration-calculus-/t0MoASZ0NOE/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Domain-modeling-and-the-duration-calculus-/t0MoASZ0NOE/">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)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item 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)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Domain-modeling-and-the-duration-calculus-/t0MoASZ0NOE/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Domain-modeling-and-the-duration-calculus-/t0MoASZ0NOE/">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)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
