农村常见纠纷一站式解决 案例·文书·流程
- 作者李启来，李福祥本册主编；古利新，苏胡城副主编；王传巍，冯骋，阿孜古丽，陈章亮，周子莹，郭茂，黄申，程玉伟，游昕雨，廖辉参编
- 出版社北京：法律出版社
- 标注页数452 页
- 文件页数470 页
- 文件大小87.13 MB
- 出版时间2015
- ISBN9787511875822
Distributed concurrent linear logic programmingNaoki Kobayashi; Toshihiro Shimizu; Akinori Yonezawa · 1999
Type-theoretic foundations for concurrent object-oriented programingKobayashi, Naoki; Yonezawa, Akinori · ACM SIGPLAN Notices · 1994
Verification of Concurrent Programs Using the Coq Proof Assistant: A Case StudyAffeldt, Reynald; Kobayashi, Naoki; Yonezawa, Akinori · IPSJ Digital Courier · 2005
Toward Foundations of Concurrent ObjectâOriented ProgrammingâTypes and Language DesignKobayashi, Naoki; Yonezawa, Akinori · Theory and Practice of Object Systems · 1995
[ACM Press the ninth annual conference - Portland, Oregon, United States (1994.10.23-1994.10.28)] Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications - OOPSLA '94 - Type-theoretic foundations for concurrent object-oriented programingKobayashi, Naoki; Yonezawa, Akinori · 1994