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

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

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

定 價:¥18.00

作 者: 陳儀香著
出版社: 科學出版社
叢編項: 國家自然科學基金研究專著 數理科學系列
標 簽: 語法

ISBN: 9787030112644 出版時間: 2003-06-01 包裝: 簡裝本
開本: 20cm 頁數: 216 字數:  

內容簡介

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

作者簡介

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

圖書目錄

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

本目錄推薦

掃描二維碼
Copyright ? 讀書網 leeflamesbasketballcamps.com 2005-2026, All Rights Reserved.
鄂ICP備15019699號 鄂公網安備 42010302001612號