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 de poche
Livre Interactive Theorem Proving and Program Development Yves Bertot
Code Libristo: 02129635
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, décembre 2010
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
? points 207 b
85.51 €
Stockage externe Expédition sous 5-8 jours

Politique de retour sous 30 jours

Les clients ont également acheté

Lambda Calculus with Types Henk Barendregt / Livre Livre relié
common.buy 109.34 €
Types and Programming Languages Pierce / Livre Livre relié
common.buy 104.29 €
Four Pillars of Geometry John Stillwell / Livre Livre relié
common.buy 40.38 €
Top
Computer Networks, Global Edition Andrew Tanenbaum / Livre Livre de poche
common.buy 87.03 €
Top
Rust For Rustaceans Jon Gjengset / Livre Livre de poche
common.buy 34.52 €
Top
Prisma Club Prisma Team / Livre Livre de poche
common.buy 28.87 €

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.

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, Pierre Castéran, G. Huet, C. Paulin-Mohring
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2010
Nombre de pages 472
EAN 9783642058806
ISBN 3642058809
Code Libristo 02129635
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 748
Dimensions 155 x 235 x 26

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

Ceci pourrait également vous intéresser

Interactive Theorem Proving and Program Development Yves Bertot / Livre Livre relié
common.buy 120.65 €
Let Over Lambda Doug Hoyte / Livre Livre de poche
common.buy 41.08 €
A Lambda Calculus Satellite Giulio Manzonetto / Livre Livre de poche
common.buy 44.21 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Livre Livre de poche
common.buy 31.39 €
Interactive Television Demystified Jerry Whitaker / Livre Livre de poche
common.buy 45.83 €
Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus / Livre Livre relié
common.buy 26.85 €
An Introduction to Classical and Modal Logics Adam Bjorndahl / Livre Livre de poche
common.buy 36.24 €
Understanding Central Europe Marcin Moskalewicz / Livre Livre de poche
common.buy 65.72 €
Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey / Livre Livre de poche
common.buy 20.18 €
Top
Berserk Deluxe Volume 7 Kentaro Miura / Livre Livre relié
common.buy 40.48 €
The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge / Livre Livre relié
common.buy 13.52 €
Meditation For Beginners: Meditation for Life: How to Meditate! (meditation for beginners, meditation, meditation techniques, how to meditate, m Michelle Gretta / Livre Livre de poche
common.buy 13.01 €
Top
Tales from the Loop Simon Stalenhag / Livre Livre relié
common.buy 27.05 €
Top
The Good Karma Tarot Kerry Ward / Articles imprimés Cartes
common.buy 18.97 €
Armenian History Captivating History / Livre Livre de poche
common.buy 15.74 €
Adobe InDesign CC Classroom in a Book (2019 Release) Kelly Kordes Anton / Livre Livre de poche
common.buy 54.72 €
Top
Infinite Powers Steven (Author) Strogatz / Livre Livre de poche
common.buy 10.39 €
Top
RaW Hero, Vol. 1 Akira Hiramoto / Livre Livre de poche
common.buy 12.11 €
Beginning x64 Assembly Programming Jo Van Hoey / Livre Livre de poche
common.buy 34.02 €
Programming with Types Vlad Riscutia / Livre Livre de poche
common.buy 54.11 €
Einstein's Fridge Paul Sen / Livre Livre de poche
common.buy 10.79 €
Practical Engine Airflow Baechtel John Baechtel / Livre Livre de poche
common.buy 32.30 €
Poker Satellite Strategy Dara O'Kearney / Livre Livre de poche
common.buy 23.11 €
Top
Art of Noticing Rob Walker / Livre Livre relié
common.buy 15.94 €

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 ?