Advanced Topics in Types and Programming Languages 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

☆☆☆☆☆
簡體網頁||繁體網頁

Pierce, Benjamin C. 編作者

The MIT Press

譯者

2004-12-23 出版日期

608 頁數

USD 74.00 價格

Hardcover

叢書系列

9780262162289 圖書編碼

Advanced Topics in Types and Programming Languages 在線電子書圖書標籤: 計算機科學類型係統 PL Theory Language 編程 Programming 計算機

喜歡 Advanced Topics in Types and Programming Languages 在線電子書的讀者還喜歡

下載鏈接在頁面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-11-22

Advanced Topics in Types and Programming Languages 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

Advanced Topics in Types and Programming Languages 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

Advanced Topics in Types and Programming Languages 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

Advanced Topics in Types and Programming Languages 在線電子書用戶評價

評分☆☆☆☆☆

囫圇吞棗

評分☆☆☆☆☆

囫圇吞棗

評分☆☆☆☆☆

囫圇吞棗

評分☆☆☆☆☆

囫圇吞棗

評分☆☆☆☆☆

囫圇吞棗

Advanced Topics in Types and Programming Languages 在線電子書著者簡介

Advanced Topics in Types and Programming Languages 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

Advanced Topics in Types and Programming Languages 在線電子書圖書描述

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.

Advanced Topics in Types and Programming Languages 在線電子書下載 mobi epub pdf txt 在線電子書下載

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!