Aaron R. Bradley profile picture

Aaron R. Bradley

Is this your author profile? Create an account to claim and customize it!

Stand Alone

The calculus of computation
The Calculus of Computation: Decision Procedures with Applications to Verification
Programming for Engineers
The Calculus of Computation Decision Procedures with Applications to Verification
The Calculus of Computation Decision Procedures with Applications to Verification
The Calculus of Computation Decision Procedures with Applications to Verification
Programming for Engineers A Foundational Approach to Learning C and Matlab
Programming for Engineers A Foundational Approach to Learning C and Matlab