书籍 Formal Methods for Interactive Systems的封面

Formal Methods for Interactive SystemsPDF电子书下载

购买点数

13

出版社

ACADEMIC PRESS LTD

出版时间

1991

ISBN

0122183150

标注页数

369 页

PDF页数

380 页

标签

相关书籍
在线购买PDF电子书
下载此书RAR压缩包