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

Szerző: Yves Bertot

Könyv
paperback
Kategória: Matematikai Foundations
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
A mi ajánlatunk: 87.22 EUR
(az ár frissült 23.09.2024)

Ingyenes szállítás Magyarországra több

Olvasók véleménye és könyvajánlók: Amazon

Nézd meg és rendelj

Ehhez a könyvhöz szintén ajánljuk a következő könyveket:

Theorem Proving in Higher Order Logics
Ár: 82.91 EUR 56.38 EUR
Building Proofs
Ár: 22.99 EUR
Godel, Escher, Bach
Ár: 23.50 EUR
An Illustrated Book of Bad Arguments
Ár: 17.62 EUR
Érvénytelen kérés.