Jose N. Oliveira的图书会按更新时间持续补充,适合从代表作和同主题书继续延展阅读。
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