T007705　并发程序设计

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第16册工业技术(下)》第814页（178字）

刘立人编。

上海科学技术文献出版社1987年10月版。20．5万字。

介绍并发程序设计的基本概念、基本原理和基本技术，分8章，内容有并行性的概念及其发展、并发问题及其语言的描述、开发程序设计语言：：CSP／K、操作系统设计范例、ADA语言的并发设计能力、数据库的并发操作、Petri网、并发程序的正确性证明。