Aaron R. Bradley

Identifiers

Open LibraryOL4941767A

Top Subjects

Computer science (1)
Computer engineering (1)
Data structures (Computer science) (1)
Software engineering (1)

Books by Aaron R. Bradley

Total count: 3

The calculus of computationdecision procedures with applications to verification

Springer Verlag2007-01-01
The Calculus of Computation: Decision Procedures with Applications to Verification

Springer2007-09-18
Programming for EngineersA Foundational Approach to Learning C and Matlab

Springer-Verlag Berlin Heidelberg2011-01-01