Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Results for author 'Assia Mahboubi'

Refine Your Results

subjects

Computing & I.T.

2

Mathematics

2

Science

2

lists

All Books

2

availability

All Books

2

Coming Soon

1

price

Over $100

2

formats

Paperbacks

1

Hardcovers

1

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Proof Assistants and Their Applications in Mathematics and Computer Science : Computer Science Foundations and Applied Logic - Assia Mahboubi

Proof Assistants and Their Applications in Mathematics and Computer Science

Computer Science Foundations and Applied Logic

Assia Mahboubi and Jasmin Blanchette

Hardcover

February 12th Release

$237.75

Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings - Assia Mahboubi

Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Assia Mahboubi and Jeremy Avigad

Paperback

$149.75

2 Results