Get cash for books you no longer need - it’s free and easy ! SELL YOUR BOOKS

Free delivery over £5 Free delivery over £5

OVER 100 MILLION BOOKS REHOMED

Books by Yves Bertot

Filters

Close all

Sort by:

Price

Binding Type

Author

Publisher

Product Type

Console

Platform

Conditions

From Semantics to Computer Science

From Semantics to Computer Science

Author: Yves Bertot

View Product

Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

Author: Yves Bertot

View Product

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Author: Yves Bertot

View Product

Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

Author: Yves Bertot

View Product

48