Semantics and Logics of Computation pdf epub mobi txt 電子書 下載2025
Edited by Andrew M. Pitts, University of Cambridge , P. Dybjer, Chalmers University of Technology, Gothenberg
出版者:Cambridge University Press
作者:Pitts, Andrew M. (EDT)/ Dybjer, Peter (EDT)
出品人:
頁數:376
译者:
出版時間:2009-8
價格:$ 63.28
裝幀:
isbn號碼:9780521118460
叢書系列:Publications of the Newton Institute
圖書標籤:
下載連結在頁面底部
The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有