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

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

Strongest postcondition semantics as the formal basis for reverse engineering

Strongest postcondition semantics as the formal basis for reverse engineering

Gerald C. Gannod; Betty H. C. Cheng

期刊名称Applied Categorical Structures
作者Gerald C. Gannod; Betty H. C. Cheng
卷第3卷
印刷ISSN0928-8910
电子ISSN1573-7535
文件大小1253.71KB
发表时间1996-06
DOI10.1007/bf00126962
页码139-164

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