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 reasoningComputational logicDecision proceduresFirst-order logicLinear arithmeticProgram correctnessPropositional logicVerification
详细介绍，目录，试读在此：http://www.springer.com/computer ... k/978-3-540-74112-1