Certified Programming with Dependent Types - A Pragmatic Introduction to the Coq Proof Assistant

Edition en anglais

Adam Chlipala

Note moyenne 
Adam Chlipala - Certified Programming with Dependent Types - A Pragmatic Introduction to the Coq Proof Assistant.
61,70 €
Actuellement indisponible

Caractéristiques

  • Date de parution
    01/07/2014
  • Editeur
  • ISBN
    978-0-262-02665-9
  • EAN
    9780262026659
  • Présentation
    Relié
  • Poids
    0.83 Kg

Avis libraires et clients

Avis audio

Écoutez ce qu'en disent nos libraires !

Derniers produits consultés