书籍 Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re的封面

Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re

出版社

Springer-Verlag

出版时间

1993

ISBN

3540574999

标注页数

372 页

PDF页数

382 页

书籍介绍

在线购买PDF电子书

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

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

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

在线购买PDF电子书