作者:《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.
新世纪五笔字型输入法-最新汉字输入法 本书特色 《新世纪五笔字型输入法》:由王玛字型发明人王水民教授授权。配有由中国王码公司提供的新世纪输入法正版软件。新世纪五...
《元好问传论——中国诗学研究专刊 (精)》内容简介:本书是安徽师范大学诗学研究中心“中国诗学研究专刊”丛书之一种,围绕宋金时
Combinatorylogicandlambda-calculus,originallydevisedinthe1920s,havesincedevelope...
《重塑》内容简介:本书主要围绕新基建驱动的数字经济发展现状、亮点与细节,聚焦政府、企业及社会组织三大主体的角色、行为与价值
《闲言碎语》内容简介:本书是知名设计师历经7年沉淀的设计思路与方法论集合,其中既保留了个人的情绪与判断,也时常回想笔者多年来
本书以计算机网络安全开发包技术为核心,详细讨论了几个著名的网络安全开发包,它们分别是网络数据包捕获开发包Libpcap,Windows
本书将最有用的CSS技术汇总在一起,在介绍基本的CSS概念和最佳实践之后,讨论了核心的CSS技术,例如图像、链接、列表操纵、表单设
15年對一個人來說可能歷時漫漫,也可能不過須臾之間。1995年,服裝品牌「minaperhonen」誕生。創立之初,皆川明只是抱持著製作「
《初中现代文阅读内容把握与方法突破》内容简介:本书以现行课程标准为研究抓手,以整体序列设计课程标准教学要求,明确具体的教学
《Android应用测试与调试实战》内容简介:本书是Android应用测试与调试领域最为系统、深入且极具实践指导意义的著作,由拥有近10年
Describesthetechnologicalsolutionsandstandardswhichwillenablethemigrationofvoice...
"MiningtheWeb:DiscoveringKnowledgefromHypertextData"isthefirstbookdevotedentirel...
YourexpertguidetoimplementingScalableVectorGraphics(SVG)Divein-andquicklylearnho...
《AddingAjax中文版》讲述了如何在现有的Web应用程序中添加Ajax,为传统的Web应用程序带来更好的交互性,从而为应用程序附加更大
这本乔布斯唯一授权的官方传记,在2011年上半年由美国出版商西蒙舒斯特对外发布出版消息以来,备受全球媒体和业界瞩目,这本书的
《Android 9编程通俗演义》内容简介:本书严格参考Android 9官方开发文档的逻辑,全面讲解Android开发中的各种技术,章节内容循序渐
《亨利·雷马克与比较文学关系研究》内容简介:亨利·雷马克是美籍德裔著名比较文学学者,文艺理论家。1961年他发表的《比较文学的
本书着重介绍现代密码学的加密思想及其实现方法,内容涉及数论、概率论、抽象代数、加密算法的思想及复杂度理论。本书介绍了密码
《Windows并发编程指南》详细讲述Windows并发编程的相关知识。内容分为四个部分:第一部分“概念”从高层视角介绍并发的基本概念
小型纸品的设计,使平面设计师找到了可以真正发挥创造才能的机会。本书提供的近千幅图例,很多是在不需要满足客户要求的情况下,