Cover Image

Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /

Bibliographic Details
Corporate Authors: International Training School on Domain Modeling and the Duration Calculus Shanghai, China, SpringerLink (Online service), ICTAC (Colloquium)
Other Authors: George, Chris W., Liu, Zhiming, 1961-, Woodcock, Jim
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2007]
Series:LNCS sublibrary. Theoretical computer science and general issues.
Lecture notes in computer science ; 4710.
Lecture notes in computer science. Tutorial.
Subjects:
Computer logic > Congresses.
Programming languages (Electronic computers) > Congresses.
Programming languages (Electronic computers) > Semantics > Congresses.
Real-time data processing > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:"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.
Electronic resource.
Physical Description:viii, 235 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540749640
9783540749646
ISSN:0302-9743 ;
DOI:10.1007/978-3-540-74964-6