Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship

大拱桥--暨南大学学生门户 » 图书馆 » 一般性问题 » Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship


名称	Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship

索引号	TP30/E901
分类号	TP30 TP30(一般性问题) TP3(计算技术、计算机技术) TP(自动化技术计算技术技术) T(工业技术)
作者	Zwiers、 J. (Job)、 1956-、
出版社	Berlin ; New York : Springer-Verlag, 1989.
ISBN
页数	vi, 272 p. : ill. ; 25 cm.
价格
标签
简介
注解