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

Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference

IFM 2004

出版社

Springer-Verlag

出版时间

2004

ISBN

3540213775

标注页数

541 页

PDF页数

556 页

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