Gordon Stewart

2 books

Program Logics for Certified Compilers by Aquinas Hobor, Andrew W. Appel, Xavier Leroy, Gordon Stewart, Robert Dockins, Sandrine Blazy, Josiah Dodds, Lennart Beringer, Xaiser Leroy

Program Logics for Certified Compilers

Aquinas Hobor, Andrew W. Appel, Xavier Leroy, Gordon Stewart, Robert Dockins, Sandrine Blazy, Josiah Dodds, Lennart Beringer, Xaiser Leroy

472 pages • 2014

education challenging informative medium-paced
Rooms for Rent by Gordon Stewart

Rooms for Rent

Gordon Stewart

274 pages • paperback

fiction