作者:《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.
《商业智能原理、技术及应用》内容简介:本书全面、系统地介绍了商业智能的理论、核心技术知识以及应用。全书分3篇,共13章。第1~
麒麟操作系统使用与推广 内容简介 本书内容包括: 麒麟操作系统概述、麒麟桌面操作系统安装、麒麟系统桌面环境、麒麟系统基本配置、Shell基本命令、文件系统管理、...
《Excel财务数据合并与分析建模案例视频精讲》内容简介:对财务人员来说,每天都要面对大量的表格数据,做着重复的复制粘贴、公式引
语音处理及人机交互技术 本书特色 《语音处理及人机交互技术/智能科学技术著作丛书》是在作者张毅、刘想德、罗元多年从事服务机器人及信息无障碍技术的基础上总结所取得...
手游与社交游戏是一个生机勃勃、令人兴奋的产业,飞速发展的互联网与相关技术,成就了一个又一个广为流传、收益丰厚的游戏产品。
Clojure是一种基于Java虚拟机的动态编程语言。如果你要转移到函数式编程,或是要应对来自并发的挑战,那么,Clojure是你的首选语
《俄罗斯一本就Go(全彩珍藏版)》内容简介:随着国民收入的不断提高,出国旅游已成为了一种时尚。走出国门,放松心情,感受异域风
《特种作战装备》内容简介:本书主要介绍各国特种作战单位使用的各式装备,包括主战武器、自卫武器、特种作战车辆、特种作战飞机、
Theseproceedingswillbeofinteresttoscientistsandresearchersdealingwithlaserapplic...
Excel 2007实战技巧精粹-(附光盘) 本书特色 用数据说话《excel实战技巧精粹》,2007年上市,至今销售60000册《excel应用大全》,200...
《中国画技法入门100问:花鸟鱼虫》内容简介:中国的写意画以其鲜明的艺术特色,成为中华民族文化的一个重要组成部分。本书以一问
《零基础学算法 第3版》内容简介:本书分为上、下两篇,共10章。上篇用5章的篇幅介绍了算法和数据结构的基础知识,包括基础算法思想
《如厕书》内容简介:31个发生在厕所的神奇小故事,一部充满想象力的短篇小说集! 家庭主妇销毁偷吃证据,职员被困马桶尴尬时刻,甚
《谁说菜鸟不会数据分析(入门篇)(全彩)》是一本有趣的数据分析书!《谁说菜鸟不会数据分析(入门篇)(全彩)》基于通用的Ex
《实战数据库营销——大数据时代轻松赚钱之道》内容简介:《实战数据库营销》的主要内容包括什么是数据库营销、数据库营销的核心理
《理赔,你应该这样做》内容简介:保险理赔是判断保险产品质量、实现保险产品价值的关键,在保险的实际理赔过程中,对大多数非法律
《唤醒孩子的内在成长》内容简介:本书是樊登读书育⼉系列第⼆册。要想在⼀个领域得⼼应⼿,底层认知⾮常重要。育⼉的底层认知便是
GPS与ArcGIS基础与实践(第3版) 内容简介 本书是全球定位系统(gps)和地理信息系统(gis)方面的一本难得的入门书,它将基本原理与实践操作紧密...
本书介绍如何采用最合理的方式为RIA编写可靠的、易于维护的HTML、CSS和JavaScript代码,以及如何使用Ajax技术在后台实现浏览器与
《卡塔尔经贸文化》内容简介:本书采取厚今薄古的写作方式,全方位介绍卡塔尔的国情、经贸、文化、中阿交流及其习俗礼仪等,突出科