The Calculus of Computation: Decision Procedures with Applications to Verification
$54.99
Description
The Calculus of Computation: Decision Procedures with Applications to Verification
Description
The Calculus of Computation: Decision Procedures with Applications to Verification