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

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

[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || A tutorial on the refinement calculus

[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || A tutorial on the refinement calculus

Prehn, Søren; Toetenel, Hans

作者Prehn, Søren; Toetenel, Hans
文件大小1828.74KB
发表时间1991
DOI10.1007/BFb0019996
页码79-140

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