书籍 Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference的封面

Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference

CAV 2006

出版社

Springer-Verlag

出版时间

2006

ISBN

354037406X

标注页数

564 页

PDF页数

581 页

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