英
美
- 時(shí)態(tài)邏輯是用于描述程序狀態(tài)如何隨時(shí)間而更改的形式體系。
關(guān)于海詞 - 版權聲明 - 聯(lián)系海詞 - 星級詞匯 - 漢字列表 - 招賢納士
©2003 - 2024 海詞詞典(www.fheedu.com) - 自 2003 年 11 月 27 日開(kāi)始服務(wù)
滬ICP備08018881號-1
滬公網(wǎng)安備 31011502000490號
電信業(yè)務(wù)許可證編號：滬B2-20190700
