顾名思义,是关于编程语言的一些共性的、基础性概念的一本书。
2021-11-09 12:17:16 5.95MB Foundations Programming Languages
1
Author: Glynn Winskel The MIT Press
2021-10-17 20:53:42 6.24MB Formal Semantics Programming Languages
1
本书是《Types and Programming Languages》的升级版,讲解更深入的类型知识
2021-10-08 20:44:49 9.07MB fp haskell
1
The Formal Semantics of Programming Languages - An Introduction
2021-09-26 22:29:01 6.24MB Formal Semantics
1
Essentials of Programming Languages, 3rd Edition (Daniel P. Friedman, Mitchell Wand)
2021-09-07 11:29:14 3.43MB Programming Languages
1
Foundations of Programming Languages(2nd) 英文无水印原版pdf 第2版 pdf所有页面使用FoxitReader、PDF-XChangeViewer、SumatraPDF和Firefox测试都可以打开 本资源转载自网络,如有侵权,请联系上传者或csdn删除 查看此书详细信息请在美国亚马逊官网搜索此书
2021-08-24 09:14:19 23.65MB Foundations Programming Languages
1
programming languages and lambda calculi
2021-07-27 11:03:42 1.01MB programming languages and lambda
1
With this book, readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts. The book presents the typically difficult subject of "formal methods" in an informal, easy-to-follow manner. A "laboratory component" is integrated throughout the text.
2021-07-19 09:55:28 1.35MB Programming Languages Syntax Semantics
1
Types and Programming Languages,类型和程序设计语言电子书
2021-07-10 13:01:19 2.13MB Types and Programming Languages
1
C语言标准规范,E文的,绝对权威,有时候在概念不是很清楚的时候,还非得看E文
2021-07-10 10:50:44 1.35MB C语言 标准规范
1