Name: Logic in Computer Science
ISBN: 9780521543101

作者: Michael Huth / Mark Ryan
出版社: Cambridge University Press
副标题: Modelling and Reasoning about Systems
出版年: 2004-08-30
页数: 440
定价: USD 72.00
装帧: Paperback
ISBN: 9780521543101

豆瓣评分

9.0

41人评价

5星

56.1%
4星

31.7%
3星

7.3%
2星

4.9%
1星

0.0%

评价:

内容简介 · · · · · ·

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...

(展开全部)

喜欢读"Logic in Computer Science"的人也喜欢 · · · · · ·

: An Introduction to Functional Progr... 9.1

: Programming Languages 8.9

: The Compiler Design Handbook

: Real World OCaml 9.4

: ML for the Working Programmer 9.2

: A Mathematical Introduction to Logi... 8.7

: Types and Programming Languag... 9.0

: Concepts in Programming Langua...

: Principles of Program Analysis

: From Mathematics to Generic Prog... 8.2

我来说两句

短评 · · · · · · ( 全部 11 条 )

Logic in Computer Science的书评 · · · · · · ( 全部 2 条 )

热门只看本版本的评论

纳兰经若 2009-03-11 20:15:35 机械工业出版社2007版

无可奈何的Delay

某日在CU上与人瞎掰，其间谈到SICP序言太过深奥，于是有人抱怨道：我从来不看序，都是些吹捧之辞，毫无价值云云。要放到平时，我会十分赞同这个观点，如果你觉得有失偏颇，那在豆瓣上随便搜一堆书找出序言来看看是否大部分异曲同工、马屁之声不绝于耳。可问题这次谈及SICP... (展开)

26 3 2回应

karenyskcau 2007-05-07 21:55:39

Review from reviews.com

The plethora of textbooks giving a computing viewpoint on logic is evidence that logic is central to the study of computer science, but is there room for yet another? If this text covered the familiar ground, the answer would probably be “no,” but Huth an... (展开)

1 0回应

> 更多书评 2篇