书籍 Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of的封面

Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of

出版社

Springer-Verlag

出版时间

2004

ISBN

354021366X

标注页数

389 页

PDF页数

401 页

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