𝔖 Scriptorium
✦   LIBER   ✦
📁

程序设计语言的形式语义

✍ Scribed by it-ebooks

Publisher
iBooker it-ebooks
Tongue
Chinese
Leaves
297
Series
it-ebooks-extra
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

程序设计语言的形式语义
📁 程序设计语言的形式语义
✍ Glynn Winskel 📂 Library 📅 2004 🏛 中信出版社 机械工业出版社 🌐 Chinese

书签已装载， 书签制作方法请找 [email protected] 完全免费 本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。 　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识，介绍了支撑程序设计语言形式语义的数学理论、方法和概念，这些知识可以用于创造、形式化和证明规则，从而可以描述和推导各类程序设计语言的各种成分和性质。 本书

程序设计语言原理
📁 程序设计语言原理
✍ （美）賽巴斯塔（Sebesta，R.W.） 📂 Library 📅 2008 🏛 机械工业出版社 🌐 Chinese

书签已装载， 书签制作方法请找 [email protected] 完全免费 本书从为什么学习程序设计语言入手，深入细致地讲解了命令式语言的主要结构及其设计与实现，内容涉及变量、数据类型、表达式和赋值语句、控制语句、子程序、数据抽象机制、支持面向对象程序设计（继承和动态方法绑定）、并发和异常处理等方面。最后两章介绍了函数式程序设计语言和逻辑程序设计语言。 本书内容丰富，剖析透彻，被美国和加拿大多所高等院校采用作为教材。本书既可用做高等院校计算机及相关专业本科生程序设计语言课程的教材和参考书，也可供程序设计人员参考。

C++程序设计语言
📁 C++程序设计语言
✍ [Denmark] Bjarne Stroustrup 📂 Library 📅 2010 🏛 机械工业出版社 🌐 Chinese

<p>本书是在C++语言和程序设计领域具有深远影响、畅销不衰的著作，由C++语言的设计者编写，对C++语言进行了最全面、最权威的论述，覆盖标准C++以及由C++所支持的关键性编程技术和设计技术。本书英文原版一经面世，即引起业内人士的高度评价和热烈欢迎，先后被翻译成德、希、匈、西、荷、法、日、俄、中、韩等近20种语言，数以百万计的程序员从中获益，是无可取代的C++经典力作。</p> <p>在本书英文原版面世10年后的今天，特别奉上十周年中文纪念版，希望众多具有丰富实战经验的C++开发人员能够温故而知新，印证学习心得，了解更加本质的C++知识，让获得的理论应用得更加灵活，也期望新的C++程序员从