[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.
ThisisanupdatedrevisionofTennisons"BeginningXSLT",updatedforthenewrevisionoftheX...
“RubyonRails™3Tutorial:LearnRailsbyExamplebyMichaelHartlhasbecomeamustreadfordev...
《油画基础教程:林景篇》内容简介:这是一本案例丰富,技法多样,且讲解极为细致的油画林景技法书。通过本书,您可以跟着高飞老师
《淘宝开店从新手到皇冠:开店+装修+推广+运营一本通(第3版)》内容简介:“淘宝开店”畅销书全新升级,资深讲师倾囊相授!哪怕你
Thetwomainthemesofthisbook,logicandcomplexity,arebothessentialforunderstandingth...
工业设计人机工程-第2版 本书特色 《工业设计人机工程(第2版)》:普通高等教育“十一五”国家级规划教材工业设计人机工程-第2版 内容简介 本书为普通高等教育“...
XHTML语言是目前最流行的网页制作语言之一。本书通过实例讲解了XHTML语言中各元素及其属性的作用、语法和显示效果。全书内容包括
SOLIDWORKS零件与装配体教程-2016版 本书特色 《solidworks零件与装配体教程》(2016版)是根据ds solidworks公司发布的...
《零基础学PHP》主要内容:PHP是一种运行于服务器端并完全跨平台的嵌入式脚本编程语言,是目前开发各类Web应用的主流语言之一。P
《超简单!一学就懂的财务报表(全彩图解版)》内容简介:零基础、全图解,通过近100多个精辟的知识点、120多张通俗易懂的逻辑图表
精通Git-第2版 本书特色 Git仅用了几年时间就一跃成为了几乎一统商业及开源领域的版本控制系统。本书全面介绍Git进行版本管理的基础和进阶知识。全书共10章...
李光斗中国品牌第一人著名品牌战略专家中央电视台品牌顾问新媒体时代的品牌观察家中国电子商务协会互联网金融委员会首席顾问李光
《金蔷薇》内容简介:《金蔷薇》是一部总结作者本人创作经验、研究俄罗斯和世界上许多文学大师的创作活动、探讨文学创作的过程、方
《C++面向对象程序设计》具备良好的编排体系,适合打算涉足编程领域的读者阅读,尤其适合大一学生。它最大的特色是Savitch教授最
《立斜阳集》内容简介:庄子根据他皈依自然的哲学思想,希望人们“相忘于江湖”。冯至却认为:江湖越大,越是不能相忘。《立斜阳集
本书将再造从地球上消失和绝迹的动物!恐龙-洪荒年代的神话;麋鹿-漂泊的中国精灵;始祖鸟-美化了的爬行动物;欧洲野马-欧罗
《企业级Kubernetes应用》内容简介:Kubernetes从2015年7月21日发布1.0版本,经过三年多的时间不断发展至今,其作为开源的容器应用
群体研讨支持系统及其文本分析方法 内容简介 本书分上下两部分, 上半部分重点介绍了群体研讨支持系统研究的*近进展, 主要涉及群体决策中相关的任务类型, 群体支持...
《R用户Python学习指南:数据科学方法》内容简介:掌握一门语言、一种工具已不足以应对当今的数据分析任务,本书旨在解决这一问题,
《Perl语言入门(第5版)》也就是大家所称道的“小骆驼书”,是Perl程序设计人员最为仰赖的启蒙读物之一。自1993年以来,这本《Per