发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - The existence of refinement mappings

[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - The existence of refinement mappings

Abadi, M.; Lamport, L.

作者Abadi, M.; Lamport, L.
文件大小932.32KB
发表时间1988
DOI10.1109/lics.1988.5115
页码165-175

← 返回【学霸图书馆】主页