作者查詢 / amazng

總覽項目： 發文 | 留言 | 暱稱
作者 amazng 在 PTT [ CSSE ] 看板的留言(推文), 共2則
限定看板：CSSE
看板排序：
全部Texas4sinica3CSSE2EE_DSnP2HanshinTiger2NTUEE1072CCF1CLHu1E-appliance1HCKuo1NtuDormM81NTUEE1061NTUEE1081NTUEngSA1NTUIM-141Oversea_Job1<< 收起看板(16)
首頁
上一頁
1
下一頁
尾頁
[問題] 這是關於component-level design的一些問題
[ CSSE ]4 留言, 推噓總分: +3
作者: maxe - 發表於 2007/04/26 22:00(19年前)
3F推amazng:formal method算是專有名詞 只的是用某些數學方法04/28 02:10
4F→amazng:去"證明"某個program 是否滿足某個property04/28 02:11
首頁
上一頁
1
下一頁
尾頁