书籍 Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal的封面

Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal

出版社

Springer-Verlag

出版时间

2006

ISBN

3540372156

标注页数

620 页

PDF页数

638 页

书籍介绍

在线购买PDF电子书

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

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

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

在线购买PDF电子书