:::
資料庫查詢時間：515.6269 ms
共 6 筆資料，
每頁顯示
筆資料
縮小搜尋結果範圍
適用年級
媒體形式
排序方式：
關鍵字 |
搜尋次數 |
關聯性
:::
你是不是要搜尋以下結果
|
程式驗証
瀏覽人次:0
收藏人次:0
(一)應用一個已驗證過的程式系統來自動證明給定程式的正確性。 (二)程式師設計寫完程式後，若程式規模小，則由程式師自己進行人工驗證，證明程式是否符合目標。若程式大型且複雜，則需由電腦進行檢查，完成程式驗證工作。 |
|
式
瀏覽人次:0
收藏人次:0
法則、模範。如：「法式」、「模式」。
效法。如：「義風可式」、「母儀足式」。
事物外形的樣子。如：「形式」、「式樣」、「款式」。
儀節、典禮。如：「儀式」、「閱兵式」、「開幕式」。
數學、化學等自然科學的運算規則。如：「公式」、「程式」、「化學式」、「二元一次方程式」。
|
|
程
瀏覽人次:0
收藏人次:0
道路的一段。如：「里程」、「路程」、「送你一程」。
事情進行的經過或順序。如：「過程」、「歷程」、「議程」、「日程」、「課程」、「程序」。
衡量、估計。如：「計日程功」。
階段、地步。如：「程度」。
法式、規範。如：「章程」、「規程」、「程式」。
|
 曾經查過此詞彙的人也經常查詢以下字詞： |
貓頭鷹博士