1 (2001年3月1日)页面会聚合同社代表作品、常见主题和近期收录内容，适合按出版社风格找书。
FME 2001
Jose N. Oliveira
评分 暂无
在线阅读本书 This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001.The 32 revised full papers presented t
