Free delivery over £5 Free delivery over £5

OVER 100 MILLION BOOKS REHOMED

Livres de Yves Bertot

Filtres

Fermer tout

Trier par :

Prix

Type de reliure

Auteur

Éditeur

Type de produit

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