Nos liseuses Vivlio rencontrent actuellement des problèmes de synchronisation. Nous faisons tout notre possible pour résoudre ce problème le plus rapidement possible. Toutes nos excuses pour la gêne occasionnée !
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Nos liseuses Vivlio rencontrent actuellement des problèmes de synchronisation. Nous faisons tout notre possible pour résoudre ce problème le plus rapidement possible. Toutes nos excuses pour la gêne occasionnée !
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Interactive Theorem Proving and Program Development
Coq'art: The Calculus of Inductive Constructions
Yves Bertot, Pierre Castéran
116,45 €
+ 232 points
Format
Description
A practical introduction to the development of proofs and certified programs using Coq.
An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 472
- Langue:
- Anglais
- Collection :
Caractéristiques
- EAN:
- 9783540208549
- Date de parution :
- 14-05-04
- Format:
- Livre relié
- Format numérique:
- Genaaid
- Dimensions :
- 164 mm x 238 mm
- Poids :
- 852 g
