The Calculus of Computation [E-Book] : Decision Procedures with Applications to Verification / by Aaron R. Bradley, Zohar Manna.
Bradley, Aaron R.
Manna, Zohar.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
online resource
9783540741138
Full Text
Description not available.