书籍 Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys的封面

Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys

出版社

Spinger-Verlag

出版时间

2006

ISBN

3540330569

标注页数

506 页

PDF页数

523 页

书籍介绍

在线购买PDF电子书

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

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

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

在线购买PDF电子书