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

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

Formal methods in the development of premo

Formal methods in the development of premo

D.A. Duce; D.J. Duke; P.J.W. ten Hagen; I. Herman; G.J. Reynolds

作者D.A. Duce; D.J. Duke; P.J.W. ten Hagen; I. Herman; G.J. Reynolds
卷第17卷
印刷ISSN0920-5489
文件大小2095.46KB
发表时间1995
DOI10.1016/0920-5489(95)00023-n
页码491-509

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