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

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

Algebraic implementations preserve program correctness

Algebraic implementations preserve program correctness

Manfred Broy; Bernhard Möller; Peter Pepper; Martin Wirsing

作者Manfred Broy; Bernhard Möller; Peter Pepper; Martin Wirsing
卷第7卷
印刷ISSN0167-6423
文件大小1182.09KB
发表时间1986
DOI10.1016/0167-6423(86)90004-3
页码35-53

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