文件名称：形式化B语言
文件大小：6.24MB
文件格式：RAR
更新时间：2015-04-01 06:01:27
形式化验证 B语言
形式化验证 B语言 安全系统设计 软件工程
【文件预览】：
形式化B语言（北大）
----fm-B11.pdf(490KB)
----fm-B13.pdf(364KB)
----fm-B02.pdf(207KB)
----fm-B01.pdf(109KB)
----fm-B06.pdf(176KB)
----fm-B00.pdf(208KB)
----B-manrefb1.8.6.uk.pdf(1.42MB)
----fm-B14.pdf(204KB)
----fm-B08.pdf(243KB)
----fm-B09.pdf(317KB)
----fm-B05.pdf(170KB)
----fm-B10.pdf(289KB)
----fm-B04.pdf(227KB)
----fm-B03.pdf(239KB)
----user_uk.pdf(1.8MB)
----fm-B15.pdf(169KB)
----fm-B07.pdf(212KB)
----fm-B12.pdf(404KB)