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

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

On the correctness of modular systems

On the correctness of modular systems

Marisa Navarro; Fernando Orejas; Ana Sánchez

作者Marisa Navarro; Fernando Orejas; Ana Sánchez
卷第140卷
期第1期
印刷ISSN0304-3975
文件大小2513.43KB
发表时间1995
DOI10.1016/0304-3975(94)00207-y
页码139-177

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