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

4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Interactive Theorem Proving Sandrine Blazy
Code Libristo: 01664057
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juin 2013
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th... Description détaillée
? points 125 b
51.68 €
Stockage externe Expédition sous 5-8 jours

Politique de retour sous 30 jours

Les clients ont également acheté

Diccionario visual inglés / Livre Livre de poche
common.buy 13.85 €
Zpět o sto let na výlet Renata Šindelářová / Livre Livre de poche
common.buy 3.23 €
metodo Mystery. Un approccio infallibile per sedurre le donne più belle del mondo Mystery / Livre Livre de poche
common.buy 14.15 €
TEMARIO DE TROMBON VICENTE MONZO / Livre Livre de poche
common.buy 327.84 €
Angielski. Przewodnik językowy Patrycja Karnik / Livre Livre de poche
common.buy 13.24 €
Clef Junich Tanizaki / Livre Livre de poche
common.buy 12.03 €
Manual práctico de Defensa Personal para mujeres MANUEL MONTERO KIESOW / Livre Livre de poche
common.buy 25.28 €
Coches muy antiguos Ruiz Palacio / Livre Livre de poche
common.buy 19.72 €
Der Kreis Husum K. Sönnichsen / Livre Livre de poche
common.buy 24.17 €
Kostenfalle Messe? Anja Steinrücken / Livre Livre de poche
common.buy 51.68 €
Theaterhandwerk Alan Ayckbourn / Livre Livre de poche
common.buy 19.72 €
Aus der Praxis der Zuckerindustrie Otto Mittelstaedt / Livre Livre de poche
common.buy 13.54 €
Laubgewind Jakob Chr. Heer / Livre Livre de poche
common.buy 26.80 €
Brasilien im IBSA-Dialogforum Claudia Liebeswar / Livre Livre de poche
common.buy 16.18 €
Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Livre Livre de poche
common.buy 16.18 €
USA und der internationale Klimaschutz Jan Hollmann / Livre Livre de poche
common.buy 16.18 €

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.§The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

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
Auteur Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2013
Nombre de pages 498
EAN 9783642396335
ISBN 364239633X
Code Libristo 01664057
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 777
Dimensions 155 x 235 x 29

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Algorithmes et structures des données
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Gestion de réseaux informatiques et des communications > Sécurité réseau
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Informatique et technologies de l’information > Sécurité informatique
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 Gerwin Klein / Livre Livre de poche
common.buy 51.68 €
Horizons in Cancer Research Hiroto S Watanabe / Livre Livre relié
common.buy 322.18 €
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Livre Livre de poche
common.buy 13.04 €
Golden Treasury of the History, Topography, Literature, Science, Art, and Religion of the Various Countries of the Globe James (University of the Highlands and Islands) Hunter / Livre Livre relié
common.buy 39.24 €
How to Write Fanfiction Howexpert Press / Livre Livre de poche
common.buy 19.31 €
How Claims Spread Joel Best / Livre Livre de poche
common.buy 52.39 €
Tide Running Oonya Kempadoo / Livre Livre de poche
common.buy 22.04 €
Journey to Meet Beethoven Pat Champness / Livre Livre de poche
common.buy 10.81 €
Teaching Is a Privilege Elizabeth Cervini Manvell / Livre Livre relié
common.buy 154.36 €
Birds of Myanmar Kyaw Nyunt Lwin / Livre Livre de poche
common.buy 50.87 €
Beauchamp Hall Danielle Steel / Livre Livre de poche
common.buy 28.82 €
Boost Your Immune System: Change Understanding About Healthy Eating, Change Your Mindset and Attitude Towards Healthy Living. Michal Kloczkowski / Livre Livre de poche
common.buy 6.16 €
Beyond 2.0 Steve Collins / Livre Livre de poche
common.buy 34.08 €
Time Series Analysis and Inverse Theory for Geophysicists David Gubbins / Livre Livre de poche
common.buy 95.79 €
Cinema of the 70s: 101 Iconic Movies John H Foote / Livre Livre de poche
common.buy 21.23 €

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 ?