The calculus of computation :
Bradley, Aaron R.
The calculus of computation : decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna - New York : Springer, ©2007 - xv, 366 p. : ill. ; 22cm.
Includes bibliography and index
9788184893960
Computer science and engineering
Computer logic
Computer programs verification
Logic design
Algorithms
004.015 / BRA-C
The calculus of computation : decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna - New York : Springer, ©2007 - xv, 366 p. : ill. ; 22cm.
Includes bibliography and index
9788184893960
Computer science and engineering
Computer logic
Computer programs verification
Logic design
Algorithms
004.015 / BRA-C