10% off all books and free delivery over £50

Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

Books By Gilles Barthe - Author

Book Cover for Security and Trust Management by Gilles Barthe

Security and Trust Management

Paperback

Book Cover for Verification, Model Checking, and Abstract Interpretation by Gilles Barthe

Verification, Model Checking, and Abstract Interpretation

Paperback

Book Cover for Formal Methods for Open Object-Based Distributed Systems Programming and Software Engineering by Gilles Barthe

Formal Methods for Open Object-Based Distributed Systems Programming and Software Engineering

Paperback