书籍 Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern的封面

Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern

ATVA 2006

出版社

Springer-Verlag

出版时间

2006

ISBN

3540472371

标注页数

540 页

PDF页数

555 页

书籍介绍

在线购买PDF电子书

此书压缩包下载地址1 （267 MB）

此书压缩包下载地址2 （267 MB）

此书BT种子下载地址（速度快）

在线购买PDF电子书