Abrial_The_B_Book
所属分类：通讯编程
开发工具：Others
文件大小：12296KB
下载次数：2
上传日期：2013-07-07 23:38:42
上 传 者：
floatbear
说明： Abrial的《B方法》The B-Book
B方法——形式化方法中的一种经典方法。本书为该领域的经典之作
(The B-Book, Abrial)
文件列表:
Abrial的《B方法》The B-Book.pdf (13628387, 2010-12-30)
近期下载者：
相关文件：
收藏者：