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

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

Problem-oriented program verification system “SPEKTR”

Problem-oriented program verification system “SPEKTR”

V. A. Nepomnyashchii; S. G. Vorob'ev; A. A. Sulimov

作者V. A. Nepomnyashchii; S. G. Vorob'ev; A. A. Sulimov
卷第23卷
期第6期
印刷ISSN1060-0396
电子ISSN1573-8337
文件大小823.15KB
发表时间1987-1112
DOI10.1007/bf01070237
页码757-765

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