书籍 Lecture Notes in Computer Science 4355 B 2007:Formal Specification and Development in B 7th Internat的封面

Lecture Notes in Computer Science 4355 B 2007:Formal Specification and Development in B 7th Internat

出版社

SpingerVerlag

出版时间

2006

ISBN

标注页数

0 页

PDF页数

308 页

书籍介绍

在线购买PDF电子书

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

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

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

在线购买PDF电子书