作者:《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.
《Photoshop智能手机APP界面设计》讲解三大智能手机(Android、iOS和WindowsPhone)APP用户界面(UI)的设计思路和制作过程。全书
本书从“路”的观点出发,较为系统地论述了微波技术与天线的基本理论与基础知识。在编写时力求去繁就简,深入浅出,这样既保持了
尼可拉斯.卡爾(NicholasG.Carr)知名作家兼思想家,專研商業策略、資訊科技及兩者的交叉點,在《哈佛商業評論》寫過包括〈IT沒有
《西行寄弟函》内容简介:本书是翁同书在西北军中效力时寄给其弟弟翁同和的信札,这些信札对晚清的官场、西行途中的风土人情、西北
高级进阶DB2(第2版)——内部结构、高级管理与问题诊断 本书特色 数据库内核是数据库系统稳定运行的心脏,db2数据库内核庞大而复杂。本书从db2内核组件入手,...
探索性数据分析:基于JMP软件 本书特色 统计学是一门涉及面广且在不断发展的学科,jmp作为一个分析软件也是如此。但是一本书所能包含的内容是有限的,且不可能面面...
《GOOGLEHACKS探索和利用全球信息资源的技巧和工具》(第3版)使用Google意味着你需要不断地拓展令人震惊的新技术。在Google地图刚
Perl编程核心技术5 内容简介 Perl是一门功能强大、易于使用、容易移植的程序设计语言。Perl用途广泛,可用于Unix或Windows NT系统管理,We...
数据库基础与应用-Access 2010 本书特色 付兵主编的《数据库基础与应用:Access 2010》共10章,从数据库的基础理论开始,以“学生成绩管理”系...
《打开爱的生命盒子》内容简介:超会讲故事的台湾心理专家赵梅如新作, 一本帮助摆脱“讨爱”勒索心理模式的治愈之书! 对爱的渴求
《西方战略与《孙子兵法》》内容简介:本书首先论述了西方战略理论形成的过程,分析了西方近现代四部世界战争和战略名著《战争论》
make是unix和其他操作系统上最持久的工具之一。自1970年问世以来,make至今仍旧是大多数程序开发项目的核心工具,它甚至被用来编
《人人都该懂的科学简史》内容简介:什么是科学与科学家?科学的未来将去往何方? 科学革命如何从无到有?为什么说蒸汽机是工业革命
《是时候聊聊生涯了》内容简介:由钱静峰编写的《是时候聊聊生涯了》一书是面向中学老师和家长的读物,旨在普及生涯基础知识,为指
{内容简介}在你成为一名行家之后,阅读HTML书籍给你的唯一感受就是厌烦吗?那么现在就是你拿起《深入浅出HTML与CSS、XHTML》来真
《资本主义民主的批判与反思》内容简介:本书集中收入了国外马克思主义者对民主问题的研究动态,并进行了理论上的探讨和分析。关于
15年對一個人來說可能歷時漫漫,也可能不過須臾之間。1995年,服裝品牌「minaperhonen」誕生。創立之初,皆川明只是抱持著製作「
《戚继光(中华先贤人物故事汇)》内容简介:戚继光,明朝抗倭名将,杰出的军事家、书法家、诗人、民族英雄。戚继光在东南沿海抗击
本书以图配文,结合实例详细讲解了如何利用从网站上获取的各种数据了解网站的运营状况,如何从数据中攫取最有用的信息,如何优化
本书由上、下两篇组成。上篇为UNIX版本6的源代码,下篇是莱昂先生对UNIX操作系统版本6源代码的详细分析。本书语言简洁、透彻,曾