購物比價找書網找車網
FindBook  
 有 1 項符合

Advanced Topics in Types and Programming Languages

的圖書
Advanced Topics in Types and Programming Languages Advanced Topics in Types and Programming Languages

出版社:MIT Press
出版日期:2024-07-02
語言:英文   規格:平裝 / 588頁 / 普通級/ 初版
圖書選購
型式價格供應商所屬目錄
 
$ 5100
博客來 博客來
程式語言
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:Advanced Topics in Types and Programming Languages

內容簡介

A thorough and accessible introduction to a range of key ideas in type systems for programming language.

The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.

The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference.

Advanced Topics in Types and Programming Languages builds on Benjamin Pierce’s Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems--the material covered in the first half of the earlier book.

Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions.

 

作者簡介

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.

 

詳細資料

  • ISBN:9780262552677
  • 規格:平裝 / 588頁 / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
金石堂 - 今日66折
身為媽媽,我很驕傲:點燃生活熱情的思考整理術
作者:嚴柔拏
出版社:采實文化事業股份有限公司
出版日期:2021-12-28
66折: $ 251 
金石堂 - 今日66折
賽斯速成100有聲書第 3 輯
作者:王怡仁主講
出版社:賽斯文化
出版日期:2017-08-01
66折: $ 660 
金石堂 - 今日66折
賽斯書輕導讀有聲書第 4 輯
作者:王怡仁醫師主講
出版社:賽斯文化
出版日期:2019-07-01
66折: $ 871 
金石堂 - 今日66折
賽斯書輕導讀有聲書第 3 輯
作者:王怡仁
出版社:賽斯文化
出版日期:2019-04-01
66折: $ 1379 
 
Taaze 讀冊生活 - 暢銷排行榜
世界上最透明的故事(日本出版界話題作,只有紙本書可以體驗的感動)
作者:杉井光
出版社:皇冠文化出版有限公司
出版日期:2024-09-30
$ 284 
Taaze 讀冊生活 - 暢銷排行榜
特殊傳說Ⅲ(vol.10)
作者:護玄
出版社:蓋亞文化有限公司
出版日期:2025-02-05
$ 252 
Taaze 讀冊生活 - 暢銷排行榜
MEN’S UNO 男人誌 2月號/2025 第306期(兩款封面隨機出貨)
出版社:創新書報股份有限公司
出版日期:2025-02-05
$ 180 
博客來 - 暢銷排行榜
鋼之鍊金術師 CHRONICLE(全)
作者:荒川弘
出版社:尖端
出版日期:2025-02-06
$ 382 
 
Taaze 讀冊生活 - 新書排行榜
妳好,陸彌(上)
作者:林不答
出版社:英屬維京群島商高寶國際有限公司台灣分公司
出版日期:2025-01-08
$ 238 
Taaze 讀冊生活 - 新書排行榜
2025【蒐錄重要名詞】火災學系統整理(含歷年試題精析)(16版)(普考消防技術/警察特考/警二技/消佐班)
作者:夏鵬翔
出版社:千華數位文化股份有限公司
出版日期:2025-01-20
$ 549 
博客來 - 新書排行榜
恩仇鎮魂曲  (親簽版)
$ 400 
Taaze 讀冊生活 - 新書排行榜
白先勇說崑曲(二十週年紀念新版)
作者:白先勇
出版社:聯經出版事業股份有限公司
出版日期:2025-02-13
$ 623 
 

©2025 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策