Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Langue AnglaisAnglais
Livre Livre relié
Livre Interactive Theorem Proving and Program Development Yves Bertot
Code Libristo: 02129535
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Description détaillée
? points 292 b
120.65 €
Stockage externe Expédition sous 10-13 jours

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

Interactive Theorem Proving and Program Development Yves Bertot / Livre Livre de poche
common.buy 85.51 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Livre Livre de poche
common.buy 58.35 €
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Livre Livre de poche
common.buy 31.90 €
Interactive Video Riad Hammoud / Livre Livre de poche
common.buy 102.78 €
Interactive Theorem Proving Matt Kaufmann / Livre Livre de poche
common.buy 115.50 €
Interactive Theorem Proving Marko Van Eekelen / Livre Livre de poche
common.buy 58.35 €
Interactive Theorem Proving Lennart Beringer / Livre Livre de poche
common.buy 58.35 €
Deyrolle: French Botanical Art Emmanuelle Polle / Livre Livre de poche
common.buy 20.99 €
Dance of the Serpents Oscar de Muriel / Livre Livre de poche
common.buy 11.80 €
Relentless: 12 Rounds to Success Eddie Hearn / Livre Livre relié
common.buy 26.04 €
Recollections of My Non-Existence / Livre Livre relié
common.buy 14.13 €
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Livre Livre de poche
common.buy 39.17 €
Top
Lost Spells Robert Macfarlane / Livre Livre relié
common.buy 16.04 €
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Livre Livre de poche
common.buy 35.43 €
Fighters Across Frontiers Ismee Tames / Livre Livre relié
common.buy 38.86 €
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Livre Livre de poche
common.buy 6.75 €
Cute Hand Lettering / Livre Livre de poche
common.buy 13.92 €
Lego train adventure rhyming story book: riding a Lego train Kyle K / Livre Livre de poche
common.buy 10.29 €
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Livre Livre de poche
common.buy 10.29 €
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Livre Livre de poche
common.buy 12.11 €
Top
In the Ruins of Neoliberalism Wendy Brown / Livre Livre de poche
common.buy 27.35 €
Layout Essentials Revised and Updated Beth Tondreau / Livre Livre de poche
common.buy 28.26 €
Top
Building Microservices Sam Newman / Livre Livre de poche
common.buy 59.76 €
Across the Isthmus to California in '52 Sarah Merriam Brooks / Livre Livre de poche
common.buy 12.61 €

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Interactive Theorem Proving and Program Development
Auteur Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Langue Anglais
Reliure Livre - Livre relié
Date de parution 2004
Nombre de pages 472
EAN 9783540208549
ISBN 3540208542
Code Libristo 02129535
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 912
Dimensions 163 x 239 x 36

Catégories

Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Analyse et conception de systèmes
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Systèmes d’exploitation
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?