《Practical Foundations for Programming Languages》电子书下载

Practical Foundations for Programming Languagestxt,chm,pdf,epub,mobi下载
作者:Robert Harper
出版社: Cambridge University Press
出版年: 2016-4-4
页数: 512
定价: USD 80.74
装帧: Hardcover
ISBN: 9781107150300

内容简介 · · · · · ·

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages...





下载地址

发布者:同乐嗷呜咯哦YY

文件说明:zip / 解压密码:electro-lviv.com

迅雷下载:您需要先后,才能查看

网盘下载:您需要先后,才能查看

关于内容:内容自于互联网,如果发现有违规内容请联系管理员删除!

作者: 同乐嗷呜咯哦YY

同乐嗷呜咯哦YY

该用户很懒,还没有介绍自己。

15 条评论

发表评论

  1. 逆龙拔天羞逆龙拔天羞说道:
    1#

    没想到刚开始就牢牢抓住了我的眼球。

  2. 柚子de黑偕柚子de黑偕说道:
    2#

    非常值得一看的好书

  3. 甜蜜de果甜蜜de果说道:
    3#

    很好的一本书,大力推荐这本书

  4. 杰么婧杰么婧说道:
    4#

    期待内容,好想赶紧开始看

  5. 显示更多