大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Zwiers 的图书(共1本)

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

0
索取号：TP30/E901
作者：Zwiers、 J. (Job)、 1956-、
出版社：Berlin ; New York : Springer-Verlag, 1989.