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

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

Axioms for total correctness

Axioms for total correctness

Stefan Sokolowski

作者Stefan Sokolowski
卷第9卷
期第1期
印刷ISSN0001-5903
电子ISSN1432-0525
文件大小387.81KB
发表时间1977-12-13
DOI10.1007/bf00263765
页码61-71

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