Programming for Engineers Programming for Engineers
2011
The Calculus of Computation The Calculus of Computation
2007