Advanced_Formal_Verification_eBook

ewidoffr · 发表于 2010-3-29 22:55:57

谢谢了

shanrui11 · 发表于 2010-3-30 08:27:18

让我看看

fantasysql · 发表于 2010-3-30 19:27:41

bucuoa

shanrui11 · 发表于 2010-4-7 22:07:35

1# bestwonbin wo yao kan

larkforsure · 发表于 2010-4-9 00:38:38

留个备用吧

skylan2010 · 发表于 2010-4-9 08:08:26

谢谢楼主！！1

taohzide · 发表于 2010-6-9 16:55:02

thans lot

瑶露杉 · 发表于 2010-6-9 23:45:29

“拼命吹”风说。
“要能拍”照相机说。
“要罩得住”蚊帐说。
“无孔不入”钉子说。
“口锋要锐利”刀子说。
“容量要大”冰箱说。
“永远保持冷静”冷气说。
“有扫荡黑暗带来光明的本事”火说。
“不要被人牵着鼻子走”茶壶说。

选至：21世纪电子网

shenlei_cn · 发表于 2010-6-18 14:32:52

形式验证，不太懂，下来看看

sunsirxjtu · 发表于 2010-8-16 06:07:40

好书！

站长推荐 /2