The Calculus of Computation
Subtitle: Decision Procedures with Applications to Verification
Publisher: Springer
Published: Oct 19, 2010
Format: paperback
Number of pages: 382
ISBN-13: 9783642093470
Notes: Source title: The Calculus of Computation: Decision Procedures with Applications to Verification