Core Java

Cay S. Horstmann, Gary Cornell

评分 8.6分

If learning Java is a must for your career, and you cannot afford to waste weeksor even months reading tutorial books that lead you nowhere, this book is theone you need. The best-selling introduction

交互式定理证明与程序开发

YvesBertot, PierreCasteran

评分 0.0分

《交互式定理证明与程序开发：Coq归纳构造演算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可以下载并执行所有证明的例子，而且还提供了书中200个练习的答案。 Coq是一个用于验证定理的证明是否正确的

疯狂Java

李刚

评分 7.5分

《疯狂Java：突破程序员基本功的16课(修订版)》是Java领域著名研究专家、Java语言培训导师、“疯狂Java”创始人李刚老师的又一倾心力作。 在《疯狂Java：突破程序员基本功的16课(修订版)》中，李刚老师专门针对Java初学者可能会遇到的各种学习问题，由点及面，详细讨论了Java内存管理、Java编程过程中常遇陷阱、常用数据结构的Java实现和Java程序开发的方法与经验等内容。 这些

C++入门经典

霍顿

评分 8.2分

《C++入门经典》(第3版)详述了C++语言的各个方面，包括数据类型、程序控制、函数、指针、调试、类、重载、继承、多态性、模板、异常和输入输出等内容。每一章都以前述内容为基础，每个关键点都用具体的示例进行详细的讲解。《C++入门经典》(第3版)基本不需要读者具备任何c++知识，书中包含了理解C++的所有必要知识，读者可以从头开始编写自己的C++程序。 　　C++是一种内涵丰富、功能强大的语言，这

程序设计语言的形式语义

Glynn Winskel

评分 7.6分

本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。 　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识，介绍了支撑程序设计语言形式语义的数学理论、方法和概

The Rust Programming Language (Covers Rust 2018)

Steve Klabnik, Carol Nichols

评分 8.6分

The official book on the Rust programming language, written by the Rust development team at the Mozilla Foundation, fully updated for Rust 2018. The Rust Programming Language is the official, definiti

程序设计语言理论基础

米切尔

评分 暂无

本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适