[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.
《配送中心运作与管理》内容简介:随着社会经济的发展,现代物流作为一种先进的组织方式和管理技术,是企业降低成本、提高经济效益
本书从实用的角度出发,系统地介绍了Protel2004的基本操作环境,重点介绍了原理图的设计、PCB的设计和元件库的设计,同时对电路仿
《破茧成蝶2——以产品为中心的设计革命》内容简介:互联网下半场来袭,从业者需要做出怎样的变化,以应对风云突变的大环境呢?本书
本书全面而系统地介绍了安藤忠雄的作品,包括他从成名以来到现在的一些代表作以及他最新的一些作品。书中所用的图纸和资料都由安藤
《网众传播 (数字媒介变革书系)》内容简介:“网众传播”指的是由“网众”发起和参与,由“社会性媒体”中介的传播模式、现象与行
《Lua 程序设计(第4版)》内容简介:本书由Lua语言作者亲自撰写,针对Lua语言本身由浅入深地从各个方面进行了完整和细致的讲解。作
Best-sellingauthorAndyKesslertiesupthelooseendsfromhisprovocativebook,RunningMon...
中文版Flash CS4游戏开发教程 本书特色 按照教学大纲要求,理论知识揉进丰富的范例,生动直观数年在一线组织教学和实践经验丰富的老师执笔编写图解9类时尚游戏...
Afreshapproachtosucceedingwithinnovation,groundedininsightsaboutrapidlychangingc...
《天下美食》内容简介:从美食延伸到人文历史记忆,于平淡中见真情,体现一代学者的知识分子情怀 著名学者丁帆美食人文笔记。作者从
《深入分析GCC》内容简介:本书将围绕GCC编译过程,详细介绍从源代码到AST、从AST到GIMPLE、从GIMPLE到RTL,以及从RTL到最终的目标
《脑机革命》内容简介:畅想一下,如果你能用大脑来控制电脑……比如在电脑屏上打字,或者是用意识操控机械臂完成各种动作……这些
《普通高等教育"十一五"国家规划教材·通信网理论与应用》系统地介绍了通信网的相关理论和技术,主要内容包括通信网的基本概念及
AdetailedexaminationofexteriorroutingprotocolsandadvancedIProutingissuesRoutingT...
《家庭菜园》内容简介:★零门槛搭建绿色小菜园 ★适合亲子劳动,让快乐和蔬菜伴随孩子一起成长 《家庭菜园》分室内菜园、窗台阳台
本书由日本视觉设计研究所编著。全书分为选择版面样式和调整版面形态两大部分,分别向读者系统介绍了样式和造形的8个要素。全书在
作者介绍:ChasEmerick是软件公司Snowtideinformatics的创始人。自2008年以来,致力于Clojure语言本身以及一些开源项目的开发;...
《犹太商人大智慧》内容简介:财富之道;翻开这本书,你将真正踏上百万富翁的成功之旅;如果看完这本书,你还不会挣钱,那你将一生
媒体推荐“EverybusinessleaderIknowworriesaboutthesamething:Arewemovingfastenough?Theg...
《狼书(卷3):Node.js高级技术》内容简介:Node.js开发简单,性能极好,一经发布便成了明星级项目。随着大前端领域的蓬勃发展,跨