[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.
《全价值经营:如何为消费过程创造价值》内容简介:本书基于需求的视角,从本质上揭示企业与消费者之间的关系,理清企业价值经营的
本书由全球著名的程序语言培训专家精心编著,解释了如何将Python用作常规用途,编写多层、客户机/服务器结构、数据库密集型、基于
作者在充分消化历史、文化、风俗、地理、经济、军事、外交、科技等有关史实的前提下,从日本以情报立国这一国策入手,用汪洋自肆
《平面设计工艺:材料与印刷的创意解决方案》旨在为设计师和其他从事委托项目设计的专业人员提供视觉效果参考,同时在常见的材料和
Apple公司的iPhone已经开创了移动平台新纪元!它与AppStore的绝配也为全世界的程序员提供了一个施展才华的全新大舞台。只要有新奇
《自由的人》内容简介:本书是以梁实秋、林语堂为代表的众多亲历者,对中国近现代史上四位极具争议性的文人——徐志摩、郁达夫、闻
《煮海时光:侯孝贤的光影记忆》内容简介:本书按创作年序,收录了侯导从影四十年来,每一部作品台前幕后的珍贵回忆。对侯孝贤这样
《从零开始学炒股(通达信版)》内容简介:《从零开始学炒股(通达信版)》可以帮助读者快速掌握炒股的基本常识和实操技巧。《从零
《面向对象技术UML教程》主要介绍统一建模语言UML及其应用。全书内容丰富,包括UML的用例图、顺序图、协作图、类图、对象图、状态
《Spark Streaming实时流式大数据处理实战》内容简介:本书以透彻的原理分析和充实的实例代码详解,全面阐述了Spark Streaming流式
在今天不可持续的商品社会,人们购买到渴望已久的商品,只是短暂的使用,就迅速地丢弃然后又去寻求新的,消耗和浪费疯长,进而失
《这里是故宫》内容简介:只露声音的宫殿君称得上是行走的“故宫资料库”,他以特别“接地气”的方式讲述故宫的建筑黑科技、超级神
《ATT&CK与威胁猎杀实战》内容简介:本书主要介绍ATT&CK框架与威胁猎杀。第1部分为基础知识,帮助读者了解如何收集数据以及如何通过
《商用机器学习:数据科学实践》内容简介:本书基于我在商学院的教学经验而创作,是关于机器学习的一本入门书籍,读者面向商学院学
《冯唐成事心法》内容简介:他是热爱文艺的管理专家,是精通麦肯锡与曾国藩成事学的商业领袖,是医学博士出身的投资人。10年麦肯锡
UserexperiencedesignisthedisciplineofcreatingausefulandusableWebsiteorapplicatio...
◎内容简介:《计算机:一部历史》,给大众读者写的计算机科普读物,零门槛入门计算机科学。讲述计算机背后鲜为人知的故事,普及
《刑法最新立法争议问题研究》内容简介:本书以《刑法修正案(九)》修法过程中及修法前后各方的意见、建议为主要研究对象,梳理、
《人脸识别与美颜算法实战》内容简介:本书从实战出发,介绍了大约60多个案例,脉络清晰,没有太多枯燥的理论讲解,而是以一位资深
全书系统地介绍现代天文知识。绪论简介天文学的发展和字宙概观。用十二章依次阐述天球和星空、天体运动和距离测量、天体辐射和天