本本书屋

 本本书屋 logo

計算機語言的形式語義 2024 pdf epub mobi 電子書 下載

計算機語言的形式語義
☆☆☆☆☆
簡體網頁||繁體網頁

計算機語言的形式語義 pdf epub mobi 著者簡介

計算機語言的形式語義 pdf epub mobi 圖書描述

計算機語言的形式語義是目前計算機科學理論研究的兩大方嚮之一，其研究成果對程序設計語言、編譯技術、應用軟件、分布式係統等分支領域有重大的實際意義，本書概述瞭形式語義學中的操作語義、指稱語義、公理語義和代數語義四大流派的主要內容，並闢一章集中討論瞭並發和分布式語義。本書內容自成體係，在開篇第一章即給齣瞭閱讀本書所需的數學知識。全書內容豐富，結構嚴謹，集形式語義領域有關分支之大成，係統地反映瞭這個領域各方麵的研究成果，特彆是它的近代發展潮流和趨勢，並對不同流派的理論和方法給予瞭分析和評價。

本書可作為計算機科學專業研究生、本科生有關課程的教材或教學參考書，也可供有關專業科技人員進修或作為工具書。

計算機語言的形式語義 2024 pdf epub mobi 電子書 下載

計算機語言的形式語義 pdf epub mobi 圖書目錄

下載链接在页面底部


點擊這裡下載
    
linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 複製鏈接
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-11-22

計算機語言的形式語義 2024 pdf epub mobi 電子書 下載

計算機語言的形式語義 2024 pdf epub mobi 電子書 下載

計算機語言的形式語義 2024 pdf epub mobi 電子書 下載


喜欢 計算機語言的形式語義 電子書 的读者还喜欢


計算機語言的形式語義 pdf epub mobi 讀後感

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

類似圖書 點擊查看全場最低價
出版者:科學齣版社
作者:陸汝鈐
出品人:
頁數:886
譯者:
出版時間:1992
價格:21.00
裝幀:平裝
isbn號碼:9787030030221
叢書系列:

圖書標籤: 計算機科學  語義  形式語義  計算機  符號學  程序設計  semantics  模型   

計算機語言的形式語義 2024 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

計算機語言的形式語義 pdf epub mobi 用戶評價

評分☆☆☆☆☆

隻是翻瞭翻。形式語義學真的太理論瞭；數學的問題都來的比之自然的多。

評分☆☆☆☆☆

隻是翻瞭翻。形式語義學真的太理論瞭；數學的問題都來的比之自然的多。

評分☆☆☆☆☆

隻是翻瞭翻。形式語義學真的太理論瞭；數學的問題都來的比之自然的多。

評分☆☆☆☆☆

隻是翻瞭翻。形式語義學真的太理論瞭；數學的問題都來的比之自然的多。

評分☆☆☆☆☆

隻是翻瞭翻。形式語義學真的太理論瞭；數學的問題都來的比之自然的多。

計算機語言的形式語義 2024 pdf epub mobi 電子書 下載

分享鏈接

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 複製鏈接


相關圖書



服務條款
聯繫我們
關於我們
隱私政策

本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等

友情鏈接

中國國家圖書館
國立台灣圖書館
美國國會圖書館
開放圖書館 openlibrary.org

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有