IMP -Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions

(No reviews yet) Write a Review
British Pound
$134.49
SKU:
9783540208549
Autor:
Yves Bertot
Editorial:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Cover book

Product Overview

Importante: Este libro es importado y podría tener una demora de 30 días.

Titulo: Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions

Formato: Hardback

Autor: Yves Bertot

Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Lenguaje: English

Páginas: 472

ISBN: 9783540208549

Reviews

(No reviews yet) Write a Review