Verification of sequential and concurrent programs

大拱桥--暨南大学学生门户 » 图书馆 » 程序设计 » Verification of sequential and concurrent programs


名称	Verification of sequential and concurrent programs

索引号	TP311.1/E995.2
分类号	TP311.1 TP311.1(程序设计) TP311(程序设计、软件工程) TP31(计算机软件) TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术)
作者	Apt、 Krzysztof R.、Olderog、 E.-R.、
出版社	New York : Springer-Verlag, c1997.
ISBN
页数	xvii, 364 p. ; 25 cm.
价格
标签
简介
注解	Includes bibliographical references (p. [343]-352) and indexes.