計算機語言的形式語義是目前計算機科學理論研究的兩大方嚮之一，其研究成果對程序設計語言、編譯技術、應用軟件、分布式係統等分支領域有重大的實際意義，本書概述瞭形式語義學中的操作語義、指稱語義、公理語義和代數語義四大流派的主要內容，並闢一章集中討論瞭並發和分布式語義。本書內容自成體係，在開篇第一章即給齣瞭閱讀本書所需的數學知識。全書內容豐富，結構嚴謹，集形式語義領域有關分支之大成，係統地反映瞭這個領域各方麵的研究成果，特彆是它的近代發展潮流和趨勢，並對不同流派的理論和方法給予瞭分析和評價。
本書可作為計算機科學專業研究生、本科生有關課程的教材或教學參考書，也可供有關專業科技人員進修或作為工具書。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
隻是翻瞭翻。形式語義學真的太理論瞭；數學的問題都來的比之自然的多。
评分隻是翻瞭翻。形式語義學真的太理論瞭；數學的問題都來的比之自然的多。
评分隻是翻瞭翻。形式語義學真的太理論瞭；數學的問題都來的比之自然的多。
评分隻是翻瞭翻。形式語義學真的太理論瞭；數學的問題都來的比之自然的多。
评分隻是翻瞭翻。形式語義學真的太理論瞭；數學的問題都來的比之自然的多。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有