Denotational Semantics for Occam2 pdf epub mobi txt 電子書 下載2025
出版者:Univ.Oxford Computing Lab. Programming Research Gp.
作者:M.H. Goldsmith
出品人:
頁數:0
译者:
出版時間:1993-06
價格:0
裝幀:Paperback
isbn號碼:9780902928855
叢書系列:
圖書標籤:
- 形式語義學
- 程序設計語言
- Occam2
- 語義分析
- 形式化方法
- 並發編程
- 計算理論
- 類型理論
- 程序驗證
- 領域理論
下載連結在頁面底部
具體描述
著者簡介
圖書目錄
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有