作者:《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.
本书描述的是在逆向与反逆向之间展开的一场旷日持久的拉锯战。作者EldadEilam以一个解说人的身份为我们详尽地评述了双方使用的每
一本面向未来的投资教科书一个掀起思维革命的项目管理体系互联网时代,怎样选择并经营项目、招聘适合的人才、应对市场变化和波动
《R的极客理想——高级开发篇》内容简介:R的极客理想”系列图书以作者多年开发经验为素材,系统地梳理了R语言的知识。在《R的极客
《基鹏医生的抗疫纪事》内容简介:《基鹏医生的抗疫纪事》为“华西坝文化”丛书(第三辑)之一,采用日记的形式,以四川大学华西医
鲁然斯基等编著的《软件系统架构(使用视点和视角与利益相关者合作原书第2版)》是软件系统架构领域的开创性著作,是两位拥有数十年
Adoubleishauntingtheworld--thedoubleofabstraction,thevirtualrealityofinformation...
《HarmonyOS应用开发与实践》内容简介:本书以物联网智慧农业移动端应用系统的开发为例,讲解了在HarmonyOS中进行移动开发的方法,
《唐诗三百首》内容简介:传统中国文学的精粹何在?在诗 传统中国诗歌的精粹何在?在唐诗 基于清人蘅塘退士经典选本全新修订,典藏
《JavaScript学习指南(第2版)》系统地介绍了JavaScript的基本语法、基本对象、调试工具与排错技术、事件处理机制、浏览器对象模型
Theultimateguidetothecellphone,theubiquitousandindispensablepocket-sizedgadgetth...
《学习PHP和MySQL》内容全面,既解释了各种基础概念,又讨论了实现各种特定功能的具体细节,并附有示例应用来演示如何综合使用这
《Web应变之道》基于Web实战经验、规范组织及社区论坛,分析Web现状、问题和挑战,紧扣Web的变化性与不确定性,提供方法论的指导
《小学生必背文言文》内容简介:本书包含小学统编语文教材中的短篇文言文和扩展的适合小学生阅读的文言文篇目,一共80篇,文言文来
本书主要讲解如何将集成开发环境、设计模式、极限编程、测试驱动开发、重构、持续集成这些现代编程方法应用到C语言的嵌入式开发中
《种文化》内容简介:本书从产业兴旺、生态宜居、乡风文明、治理有效、生活富裕等角度,遴选了上百幅来自全国各画乡的农民画新作,
《数码单反摄影从新手到高手》内容简介:本书是专门为单反摄影初学者编写的一本相机设置、操控与实拍运用指南,帮助你深入了解单反
本书从操作系统原理的角度,详细解析了Windows如何实现现代操作系统的各个关键部件,包括进程、线程、物理内存和虚拟内存的管理,
《多云和混合云:云原生多集群和应用管理》内容简介:这是一本讲解如何在多云/混合云的环境下进行多集群管理、多集群应用编排以及应
1714新概念PhotoshopCS教程 本书特色 本书是职业教育院校和电脑培训学校的理想教材,是十一五期间重点计算机多媒体教学出版物规划项目。活泼生动的多媒体...
《财团首户:无锡荣家》内容简介:本书为“中国近代实业家丛书”中的无锡荣氏家族卷。习近平总书记在企业家座谈会与考察江苏期间两