Programming Languages and Operational Semantics pdf epub mobi txt 電子書 下載2025
出版者:Springer
作者:Maribel Fernández
出品人:
頁數:220
译者:
出版時間:2014-3-31
價格:0
裝幀:Paperback
isbn號碼:9781447163671
叢書系列:Undergraduate Topics in Computer Science
圖書標籤:
- pl
- 編程語言
- 形式語義
- 操作語義
- 程序設計語言
- 語義學
- 編譯原理
- 理論計算機科學
- 形式化方法
- 程序驗證
- 抽象解釋
下載連結在頁面底部
具體描述
This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for undergraduate students. Each chapter includes exercises which provide the opportunity to apply the concepts and techniques presented.
著者簡介
圖書目錄
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有