No title
Bradley, Aaron R.
Calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna.. - Berlin : Springer, 2007 - xv, 366 p. : ill. ; 25 cm.
Includes bibliographical references (p.[351]-355) and index.
3540741127 9783540741121
2007932679
Computer logic.
Computer programs--Verification.
QA76.9.L63 / B73 2007
515.1 Cut B811
Calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna.. - Berlin : Springer, 2007 - xv, 366 p. : ill. ; 25 cm.
Includes bibliographical references (p.[351]-355) and index.
3540741127 9783540741121
2007932679
Computer logic.
Computer programs--Verification.
QA76.9.L63 / B73 2007
515.1 Cut B811