The Calculus of Computation: Decision Procedures with Applications to Verification
Full Title: | The Calculus of Computation: Decision Procedures with Applications to Verification |
---|---|
ISBN: | 3540741127 |
ISBN13: | 9783540741121 |
List Price: | USD $74.99 |
Authors: |
Bradley, Aaron R. Manna, Zohar |