书籍 Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop的封面

Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop

出版社

Springer-Verlag

出版时间

2007

ISBN

9783540733690

标注页数

285 页

PDF页数

298 页

书籍介绍

在线购买PDF电子书

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

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

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

在线购买PDF电子书