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

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

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 2335 ||

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 2335 ||

Butler, Michael; Petre, Luigia; Sere, Kaisa

作者Butler, Michael; Petre, Luigia; Sere, Kaisa
文件大小4013.80KB
发表时间2002
DOI10.1007/3-540-47884-1

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