Temporal logic and temporal logic programming


名称	Temporal logic and temporal logic programming

索引号	TP311.11/E20071
分类号	TP311.11 TP311.11(程序设计方法) TP311.1(程序设计) TP311(程序设计、软件工程) TP31(计算机软件) TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术)
作者	Duan、 Zhenhua.、
出版社	Beijing : Science Press, 2005.
ISBN
页数	v, 196 p. ; 27 cm.
价格
标签
简介
注解