书籍 Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int的封面

Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int

ATVA 2004

出版社

Springer-Verlag

出版时间

2004

ISBN

3540236104

标注页数

506 页

PDF页数

520 页

书籍介绍

在线购买PDF电子书

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

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

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

在线购买PDF电子书