[FROM www.amazon.com]:
The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.
《写给Web开发人员看的HTML5教程》通过结合大量实际案例和源代码对HTML5的重要特性进行了详细讲解,内容全面丰富,易于理解。全书
《区块链的真正商机》内容简介:随着数字化转型的迫切需求,像大数据一样,区块链将会全面重塑你的业务,那么你该如何驾驭区块链时
《编程卓越之道(卷1):深入理解计算机(第2版)》内容简介:卓越的代码需要利用现代编程语言的先进特性来实现软件功能。但软件最终
《日志管理与分析(第2版)》内容简介:本书基于主流日志管理与分析系统的设计理念,完善、透彻地对日志分析各流程模块的原理与实现
《秩序之美:网页中的网格设计(修订版)》内容简介:怎样才能设计出简洁大方而不落于俗套的超人气网站?纽约时报网站的资深设计师K
《中国资本市场三十年》内容简介:本书是为中国资本市场三十年而写,由导论、11章和文献附录,以及后记组成,重点研究中国资本市场
本书通过实例的方式介绍了Macromedia公司的DreamweaverMX2004的使用方法和技巧。全书由14章组成,第1章和第2章介绍了软件的应用领
这是一本影响了全球数百万程序员的求职面试宝典,amazon超级畅销书,持续销售近10年,好评如潮。它授人以鱼,全面讲解程序员面试
通过互联网进化论的提出,作者将云计算,物联网、移动互联网与传统互联网有机地结合在一起。刘锋编著的《互联网进化论(破解互联网
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用 内容简介 本书是针对2019年全国计算机等级二级考试编写的辅导用书。本书严格按照新版...
《世界顶级时尚品牌&平面设计》的核心是分析23个印刷、颜色选择、展出请柬、网站、香水、化妆品案例,同时探讨时尚设计者和平面设
在电商两极化趋势越来越明显的当下,中小店主们该如何从重重包围中突围而出?如何在店铺包装上一鸣惊人?爆款已死,唯有真正小而
《财富自由从0到1》内容简介:个人的财富自由,可以通过资产的多样化配置、改变理财思维和习惯实现。想让自己的财富保值增值,人们
Auto CAD 2008应用教程 内容简介 本书详尽介绍了*新版计算机辅助绘图软件——AutoCAD 2006,包括该软件的基本功能、使用方法和绘图技巧等内容...
《从零开始:UI图标设计与制作》内容简介:本书分为10章,结合实例展示操作方法与处理效果,全面系统地阐述了UI设计理念、创作过程
本书全面、深入地介绍了数字通信系统的基础理论和应用,内容包括数字调制和编码的基本理论以及频谱扩展通信、蜂窝式无线电通信和
汇编语言-(第2版) 内容简介 汇编语言是各种CPU提供的机器指令的助记符的集合,人们可以用汇编语言直接控制硬件系统进行工作。汇编语言是很多相关课程(如数据结构...
《教你读懂年报》内容简介:本书是解读上市公司年报的专著,涵盖了对上市公司年报所有12个章节的剖析。本书的所有案例都来自上市公
【有关家居的一期】2014年KINFOLK春季刊旨在探究“家的意义”。比如,家的理想模样,因人而异的家居布置风格以及美好的家所共享的
《雷卡纳蒂语言哲学思想研究》内容简介:“当代西方语言哲学翻译与研究”拟包括2016年国家社科基金项目成果:四部译著和一本专著,