作者:《Logic in Computer Science》书籍
出版社:Cambridge University Press
出版年:2004-08-30
评分:8.6
ISBN:9780521543101
所属分类:网络科技
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.
《O2O来了——餐饮、零售、车市场、旅游、家政、短租行业必读的50个经典案例》系统地介绍了新兴商业模式O2O概念及最新相关理论,
《Effective Debugging》内容简介:本书共分8章。首先讲解调试策略(第1章)、调试方法(第2章)以及调试时所用的工具与技巧(第3章
《蜂鸟摄影学院新手学摄影(旅行篇)》内容简介:本书是蜂鸟网根据摄影初学者的要求和实际学习情况特意编写的一套学习教程中的旅行
笨办法学Ruby-(第3版) 本书特色 本书是一本ruby入门书籍,是《“笨办法”学python》的姊妹篇。本书适合对计算机了解不多,没有学过编程,但对编程感兴...
本书是为高等院校电子信息类专业编写,凝结了北京邮电大学电信工程学院电路与系统中心各位老师多年的教学经验。本书主要内容包括
《新媒体艺术之互动影像装置艺术》内容简介:互动影像装置艺术是国际上新兴起的一门艺术形式,它属于包含范围更广的新媒体艺术。
《电商大数据——用数据驱动电商和商业案例解析》重点介绍了电子商务数据驱动的理论和商业案例。《电商大数据——用数据驱动电商
本书是对发生在西欧的三次著名的艺术运动(工艺美术运动、新艺术运动和装饰运动)中的“工艺美术运动”的综合性、专业性介绍和具
《LTE移动通信术语与缩略词词典》,本书简介:作为3G标准的后续演进,LTE系统以及其演进技术,引入新的OFDM多址方式,支持灵活的带
“这本书是越来越多的信息检索文献里的一本好书”——DonaldH.Kraft,计算机评论“学术巨匠齐聚一堂编撰了一部信息检索的优秀教材
《战略产业选择与投资研究:基于产业链的视角》内容简介:战略产业是一个国家或地区为实现产业结构优化升级所选定的对其他产业具有
《民营科技企业的技术创新战略和政策选择》内容分为五个部分,首先分析了目前我国民营科技企业的发展现状和特点,然后从增强我国
《不头疼的故事作文课(典藏版):怪小孩》内容简介:《不头疼的故事作文课》系列是根据作者的一些亲身经历的故事为基础,改编成为
《会计信息系统(第3版)》内容简介:本书侧重介绍会计信息化的中级发展阶段,即面向企业全面应用的会计信息系统,重点讲授会计信息
ImportantnewinsightsintohowvariouscomponentsandsystemsevolvedPremisedontheideath...
《于水山古琴练习曲集》内容简介:这是一本关于古琴演奏方法的教材。其主体由两部分组成:第一部分,是题为“练习曲与古琴弦法、调
JavaScript和Java这两大生态系统之间如何协同,成为所有Web开发人员共同面临的问题。本书应运而生,全面又简练地为读者展示了最新
《运动是最好的心药:心血管疾病运动治疗策略》内容简介:运动有益健康的理念深入人心,对于健康人群,多数的运动项目是安全有益的
《AI赋能:驱动产业变革的人工智能应用》内容简介:本书集合了在中国人工智能产业发展联盟组织的第二批“人工智能技术和应用案例评
《四级词汇帝国(第二版)》内容简介:本书有别于其他词汇书的亮点是编排方式:书中每一个词条单词后面会有音标和记忆次数,每记忆