[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.
《了不起的中国简史(上):从远古到南北朝》内容简介:一本读了就停不下来的中国简史。本册内容从远古时代讲起,一直到南北朝结束
《给孩子的另类科普:一万亿个外婆》内容简介:这是一本科普版《爱丽丝漫游奇境记》、温暖心灵的科学漫游故事,涉及星际旅行、分子
数位达尔文主义 本书特色 在这本书中,作者对高度竞争的网络经济进行了前所未有的深入考察,概括出立足网络的企业在形形色色的网上市场中生存与发展的7个关键战略。通过...
Python是一种解释型、面向对象、动态数据类型的高级程序设计语言。Python可以用于很多的领域,从科学计算到游戏开发。《Python编
《Cocos2d-x 3.x游戏开发实战》内容简介:《Cocos2d-x 3.x游戏开发实战》是一本介绍Cocos2d-x游戏引擎的实用图书,全面介绍了最新的
Aftercompletingthisself-containedcourseonserver-basedInternetapplicationssoftwar...
在北欧严寒苛刻的自然环境下,只有洋溢着北欧美学观的设计作品如室内的花朵般恣意绽放。其设计师如何能孕育出温暖生活环境的作品
《非奋斗减肥》内容简介:本书10个章节,对应10个减肥法则。全书科学分析了发胖的原因和常见的关于减肥的错误认知,带来不用节食、
《影视调色学》内容简介:本书从色彩的本质属性入手,通过眼睛与色彩、心理与色彩、影视技术与色彩、影视艺术与色彩、影视调色流程
《JavaScript编程精解(原书第3版)》内容简介:本书第3版深入研究JavaScript语言,详细介绍如何编写漂亮、高效的代码。更新的内容
《催眠术教程(第2版)》内容简介:本书别开生面,采用教科书编写体例,由表及里,由浅至深,撩去催眠术的神秘面纱,帮助心理学从业
《出发!可爱的虫虫世界》内容简介:“蛋蛋学校万物探秘之旅”是国内原创的一套极富趣味性和知识性的探索万物的科普漫画绘本。讲述
《逆袭大学——传给IT学子的正能量》以作者近二十年的从教经历和义务为IT学子解答咨询的工作为基础,以认识专业为起点,以编程能
Delphi管理信息系统项目方案精解(附光盘) 内容简介 管理信息系统(MIS)在软件开发领域有着很高的地位,很多企事业单位都用它来提高效率,增强竞争力。Del...
《跟实战专家学做流程管理》内容简介:企业的使命是为顾客创造价值,为顾客创造价值的是流程,而不是哪个部门。本书作者在15年的管
程序员2004合订本 上下 内容简介 程序员2004合订本由程序员杂志社联合电子工业出版社*新推出。本合订本沿袭2001、2002、2003《程序员合订本》的风...
《出众的设计师:全栈设计师高效成长法则》内容简介:我们处在一个快速发展的时代,各行各业都被不断突破并重组,很多岗位被重新定
CCNA学习指南 本书特色 本学习指南帮你准备*新的ccna考试:cisco网络权威todd lammle编写的这本*畅销的学习指南能帮助你仔细的准备,信心十足...
《通信原理学习辅导与考研指导》(第6版)是以樊昌信教授和曹丽娜教授编著的《通信原理》(第6版)教材为主要参考书,同时参考其他相
《元宇宙基石:Web3.0与分布式存储》内容简介:本书Web3.0深刻地变革了数据存储的方式,使个人不再依赖数据存储费高昂的企业来存储