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

Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference

IFM 2007

出版社

Springer-Verlag

出版时间

2007

ISBN

9783540732099

标注页数

660 页

PDF页数

672 页

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