Here, what we could find on your book search:

Annabelle Mclver

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).

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Matthias Baaz and Andrei Voronkov

Check Price (5 deals)
Mathematics of Program Construction

Mathematics of Program Construction

Roland C. Backhouse and José Nuno Oliveira

Check Price (10 deals)
ZB 2005: Formal Specification and Development in Z and B

ZB 2005: Formal Specification and Development in Z and B

Helen Treharne, Steve King, Martin Henson and Steve Schneider

Check Price (2 deals)
ZB 2003: Formal Specification and Development in Z and B

ZB 2003: Formal Specification and Development in Z and B

Didier Bert, Jonathan P. Bowen, Steve King and Marina Waldén

Check Price (5 deals)
B'98: Recent Advances in the Development and Use of the B Method

B'98: Recent Advances in the Development and Use of the B Method

Bert Didier

Check Price (8 deals)
Theoretical Aspects of Computing - ICTAC 2006

Theoretical Aspects of Computing - ICTAC 2006

Kamel Barkaoui and Ana Cavalcanti

Check Price (1 deals)
Communicating Process Architectures 2004

Communicating Process Architectures 2004

Ian East, J. Martin and P.H. Welch

Check Price (5 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now