The Calculus of Computation (PDF 英文版)

鱼和流氓

The Calculus of Computation: Decision Procedures with Applications to Verification
(PDF 英文版)
by Aaron R. Bradley, Zohar Manna
Hardcover: 366 pages
Publisher: Springer; 1 edition (October 12, 2007)
ISBN-10: 3540741127
ISBN-13: 978-3540741121

Written for: Advanced undergraduate and beginning graduate students.

Keywords:

• Algorithmic reasoning
• Computational logic
• Decision procedures
• First-order logic
• Linear arithmetic
• Program correctness
• Propositional logic
• Verification

详细介绍，目录，试读在此：http://www.springer.com/computer ... k/978-3-540-74112-1

车之子

thank you

口岸佬

回复 1# 的帖子