注冊 | 登錄讀書好，好讀書，讀好書！
讀書網(wǎng)-DuShu.com
當(dāng)前位置： 首頁出版圖書教育/教材/教輔外語英語詞匯/語法/閱讀形式語義學(xué)的穩(wěn)定論域理論

形式語義學(xué)的穩(wěn)定論域理論

形式語義學(xué)的穩(wěn)定論域理論

定　價：￥18.00

作　者： 陳儀香著
出版社： 科學(xué)出版社
叢編項： 國家自然科學(xué)基金研究專著 數(shù)理科學(xué)系列
標(biāo)　簽： 語法
ISBN： 9787030112644 出版時間： 2003-06-01 包裝： 簡裝本
開本： 20cm 頁數(shù)： 216 字?jǐn)?shù)：  

內(nèi)容簡介

　　國家自然科學(xué)基金研究成果專著出版基金資助。本書講述了計算機語言形式語義的穩(wěn)定論域理論中的序理論、邏輯結(jié)構(gòu)和拓撲方法，論述了穩(wěn)定映射的代數(shù)、拓撲刻畫以及跡表示等內(nèi)容。

作者簡介

暫缺《形式語義學(xué)的穩(wěn)定論域理論》作者簡介

圖書目錄

暫缺《形式語義學(xué)的穩(wěn)定論域理論》目錄

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號