Here, what we could find on your book search:

Roland Backhouse

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Advanced Functional Programming

S. Doaitse Swierstra, Pedro R. Henriques and Jose N. Oliveira

Check Price (8 deals)

Mathematics of Program Construction

Dexter Kozen and Carron Shankland

Check Price (10 deals)

Mathematics of Program Construction

Eerke A. Boiten and Bernhard Möller

Check Price (3 deals)

Theorem Proving in Higher Order Logics

Victor A. Carreno, Cesar A. Munoz and Sofiene Tahar

Check Price (3 deals)

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum

Check Price (3 deals)

Algebraic Methodology and Software Technology

Charles Rattray and Savitri Maharaj

Check Price (8 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now