Domain Modeling and the Duration Calculus [electronic resource] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures /

Domain Modeling and the Duration Calculus [electronic resource] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures /

PSZJBL

Bibliographic Details
Main Authors: ICTAC Training School on Domain Modelling and Duration Calculus (2007 : Shanghai, China), George, Chris W., Liu, Zhiming., Woodcock, Jim., SpringerLink (Online service)
Format:
Language:eng
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:
Computer logic
Real-time data processing
Online Access:http://dx.doi.org/10.1007/978-3-540-74964-6

Internet

http://dx.doi.org/10.1007/978-3-540-74964-6

Similar Items