跳到主要內容
:::
教育百科logo
:::
切換漢語拼音鍵盤 切換注音小鍵盤 關閉
  • 小提醒：請務必輸入聲調做結束
  • 輸入完畢後請點選 音讀檢索 進行搜尋

形式方法

教學模式 開啟關聯 列入收藏 分享詞條
文字大小 小 中 大

 
國家教育研究院辭書
關閉

國家教育研究院辭書

基本資料
英文： formal methods
日期： 2003年6月
出處： 資訊與通信術語辭典
辭書內容
名詞解釋：
針對軟、硬體系統之規格、開發及證明過程所提出的一種數學技巧。 針對軟、硬體系統之規格、開發及證明過程所提出的一種數學技巧。
資料來源： 國家教育研究院_形式方法
授權資訊： 資料採「 創用CC-姓名標示- 禁止改作 臺灣3.0版授權條款」釋出
貓頭鷹博士
貓頭鷹博士
回到頁面頂端圖示