中图分类法:	TP31-532 版次：
题名:	Domain modeling and the duration calculus : [ international training school, Shanghai, China, September 17-21, 2007 : advanced lectures /] / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2007.
载体形态:	viii, 235 p. : ill. ; 24 cm.
附注:	"Lectures given at the ICTAC Training School on Domain Modelling and Duration Calculus, held during the 17th-21st September 2007 in Shanghai."--Pref.
主题词:	Real-time data processing
主题词:	Computer logic
主题词:	Programming languages (Electronic computers)
主题词:	Programming languages (Electronic computers) Semantics
主要责任者:	George, Chris W.
主要责任者:	Liu, Zhiming,
主要责任者:	Woodcock, Jim.