Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions de Bertot Yves

Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions - Bertot Yves

Format: Non Precisé

Note : 5

Déposez un avis
Voir tous les avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

Neuf (1)

Occasion (1)

Reconditionné

Prix neuf 120,70 €

Qu'est-ce que le prix barré ?

C'est le prix de vente au public, fixé par l'éditeur ou l'importateur, pour le même article neuf.

98,99 €

Occasion · Bon État

Ou 24,75 € /mois

-5 € avec le code RAKUTEN5

4,95 € offerts

Livraison : 25,00 €
Livré entre le 18 et le 23 avril

Voir les modes de livraison

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.

Nos autres offres

150,13 €

Produit Neuf

Ou 37,53 € /mois

-5 € avec le code RAKUTEN5

En savoir plus
- Livraison à 0,01 €
- Livré entre le 4 et le 11 avril
Voir les modes de livraison
RiaChristie

PRO

4,9/5 sur + de 1 000 ventes

Contacter le vendeur

Afficher la description de l'annonce

Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540208549_dbm

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions de Bertot Yves - Livre Informatique

Note : 5 1 avis sur Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions de Bertot Yves - Livre Informatique

Donnez votre avis et cumulez 1

Cumulez 1 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Note : 5 Pour mieux appréhender le formalisme de Coq

par Le_Steph (Voir ses avis) le 23/11/2011

Un ouvrage de référence écrit en anglais par deux contributeurs au projet COQ, le Dr Yves BERTOT de l'INRIA à Sophia Antipolis et le Dr Pierre Castéran du LABRI de Bordeaux.
Ils offres les exemples claires et concis qui manquait à la documentation en ligne du site Coq.
La préface est du Dr Gérard HUET et du Dr Christine PAULIN-MOHRING, leaders du projet.
A tout simplement garder à porter de main...
Un autre prouveur français à voir, c'est Atelier B de chez Clearsy. Produit open source avec documentation en français.

Avez-vous trouvé cet avis utile ?

Signaler un abus

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions de Bertot Yves
- Livre Informatique

Livre Informatique - Bertot Yves - 01/01/2004 - Non Precisé

Auteur(s) : Bertot Yves

Editeur : Springer Verlag

Parution : 01/01/2004

Nombre de livres : 1

Expédition : 1900

ISBN : 9783540208549

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions - Bertot Yves

Avis sur Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions de Bertot Yves - Livre Informatique

Présentation Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions de Bertot Yves - Livre Informatique

Présentation Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions de Bertot Yves
- Livre Informatique