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

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

[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || The PROSPECTRA methodology and system: uniform transformational (meta-) development

[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || The PROSPECTRA methodology and system: uniform transformational (meta-) development

Prehn, Søren; Toetenel, Hans

作者Prehn, Søren; Toetenel, Hans
文件大小2498.08KB
发表时间1991
DOI10.1007/BFb0020000
页码363-397

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