书籍 Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference的封面

Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference

IFM 2005

出版社

Springer-Verlag

出版时间

2005

ISBN

3540304924

标注页数

407 页

PDF页数

420 页

书籍介绍
在线购买PDF电子书