楼主: igs816
2603 14

[其他] Practical Foundations for Programming Languages [推广有奖]

已卖:261247份资源

泰斗

6%

还不是VIP/贵宾

-

威望
9
论坛币
1762883 个
通用积分
20526.6067
学术水平
2754 点
热心指数
3477 点
信用等级
2565 点
经验
485149 点
帖子
5457
精华
52
在线时间
3910 小时
注册时间
2007-8-6
最后登录
2026-1-1

高级学术勋章 特级学术勋章 高级信用勋章 特级信用勋章 高级热心勋章 特级热心勋章

楼主
igs816 在职认证  发表于 2016-4-23 17:03:58 |AI写论文

+2 论坛币
k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群
赵安豆老师微信:zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

感谢您参与论坛问题回答

经管之家送您两个论坛币!

+2 论坛币
nZOnorXLkQkkGwa3jaUnXfqTkUuwizYF.jpg
Practical Foundations for Programming Languages by Robert Harper
English | Apr. 4, 2016 | ISBN: 1107150302 | 512 Pages | AZW3/MOBI/EPUB/PDF (conv) | 82.72 MB

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics.
                                                

本帖隐藏的内容

Practical Foundations for Programming Languages.rar (51.55 MB, 需要: 5 个论坛币) 本附件包括:
  • Practical Foundations for Programming Languages - Robert Harper.azw3
  • Practical Foundations for Programming Languages - Robert Harper.epub
  • Practical Foundations for Programming Languages - Robert Harper.mobi
  • Practical Foundations for Programming Languages - Robert Harper.pdf



二维码

扫码加我 拉你入群

请注明:姓名-公司-职位

以便审核进群资格,未注明则拒绝

关键词:Programming Foundations foundation Languages Practical systems Robert

已有 2 人评分经验 论坛币 热心指数 信用等级 收起 理由
Nicolle + 100 + 1 + 1 精彩帖子
fantuanxiaot + 66 + 66 精彩帖子

总评分: 经验 + 166  论坛币 + 66  热心指数 + 1  信用等级 + 1   查看全部评分

本帖被以下文库推荐

沙发
ekscheng(未真实交易用户) 发表于 2016-4-23 18:46:37

藤椅
jjxm20060807(真实交易用户) 发表于 2016-4-23 19:10:18
谢谢分享

板凳
solomen313(真实交易用户) 发表于 2016-4-23 19:36:58
感谢楼主提供好资料!

报纸
soccy(真实交易用户) 发表于 2016-4-23 20:37:39
......

地板
pensifia(真实交易用户) 发表于 2016-4-24 07:23:53
Thanks for sharing

7
沙耶加(真实交易用户) 发表于 2016-4-24 13:06:11
提示: 作者被禁止或删除 内容自动屏蔽

8
nonoyes233(真实交易用户) 发表于 2016-4-25 07:38:23
thanks..........................

9
kzpan(未真实交易用户) 发表于 2016-4-25 09:17:42

10
h2h2(未真实交易用户) 发表于 2016-4-25 13:11:13
Thanks

您需要登录后才可以回帖 登录 | 我要注册

本版微信群
加好友,备注jr
拉您进交流群
GMT+8, 2026-1-2 23:21