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
La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €
phone Contact phoneComment faire ses achats

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
50.99 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Desarrollar la inteligencia a través del ajedrez José María Olías Porras / Livre Livre de poche
common.buy 13.89 €
metodo Mystery. Un approccio infallibile per sedurre le donne più belle del mondo Mystery / Livre Livre de poche
common.buy 12.29 €
Zpět o sto let na výlet Renata Šindelářová / Livre Livre de poche
common.buy 3.19 €
Diccionario visual inglés / Livre Livre de poche
common.buy 15.69 €
Zpívat se nepřestane To nejlepší kvintet Spirituál / Audio CD Audio
common.buy 12.69 €
Top
Válka dvou královen Jennifer L. Armentroutová / Livre Livre relié
common.buy 21.49 €
TEMARIO DE TROMBON VICENTE MONZO / Livre Livre de poche
common.buy 297.39 €
Angielski. Przewodnik językowy Patrycja Karnik / Livre Livre de poche
common.buy 10.89 €
Manual práctico de Defensa Personal para mujeres MANUEL MONTERO KIESOW / Livre Livre de poche
common.buy 22.69 €
Coches muy antiguos Ruiz Palacio / Livre Livre de poche
common.buy 19.49 €
Clef Junich Tanizaki / Livre Livre de poche
common.buy 9.79 €
Der Kreis Husum K. Sönnichsen / Livre Livre de poche
common.buy 26.90 €
Kostenfalle Messe? Anja Steinrücken / Livre Livre de poche
common.buy 58.00 €
Bientôt
Honigprotokolle Monika Rinck / Livre Livre de poche
common.buy 19.90 €
Theaterhandwerk Alan Ayckbourn / Livre Livre de poche
common.buy 22.00 €
Aus der Praxis der Zuckerindustrie Otto Mittelstaedt / Livre Livre de poche
common.buy 14.90 €
Laubgewind Jakob Chr. Heer / Livre Livre de poche
common.buy 29.90 €
Brasilien im IBSA-Dialogforum Claudia Liebeswar / Livre Livre de poche
common.buy 17.95 €
Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Livre Livre de poche
common.buy 17.95 €
USA und der internationale Klimaschutz Jan Hollmann / Livre Livre de poche
common.buy 17.95 €

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 pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes 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 50.99 €
Teaching Is a Privilege Elizabeth Cervini Manvell / Livre Livre relié
common.buy 142.09 €
Jack Sprat Could Sharon Ervin / Livre Livre de poche
common.buy 13.79 €
Beauchamp Hall Danielle Steel / Livre Livre de poche
common.buy 28.49 €
International Financial Statistics Locator Domenica M. Barbuto / Livre Livre de poche
common.buy 33.19 €
How to Write Fanfiction Howexpert Press / Livre Livre de poche
common.buy 18.09 €
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Livre Livre de poche
common.buy 12.19 €
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 5.79 €
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 36.89 €
How Claims Spread Joel Best / Livre Livre de poche
common.buy 51.79 €
The Story of My Heart: As Rediscovered by Brooke Williams and Terry Tempest Williams Richard Jefferies / Livre Livre relié
common.buy 19.79 €
Tide Running Oonya Kempadoo / Livre Livre de poche
common.buy 20.89 €
Journey to Meet Beethoven Pat Champness / Livre Livre de poche
common.buy 10.19 €
Birds of Myanmar Kyaw Nyunt Lwin / Livre Livre de poche
common.buy 50.29 €
Top
Dividuum Gerald Raunig / Livre Livre de poche
common.buy 12.89 €
Beyond 2.0 Steve Collins / Livre Livre de poche
common.buy 32.29 €
Time Series Analysis and Inverse Theory for Geophysicists David Gubbins / Livre Livre de poche
common.buy 90.19 €
Routledge History of Twentieth-Century United States Jerald Podair / Livre numérique Adobe ePub DRM
common.buy 66.09 €
Cinema of the 70s: 101 Iconic Movies John H Foote / Livre Livre de poche
common.buy 20.99 €
Actor’s Guide to Corporate Role Play Lowe / Livre Livre de poche
common.buy 30.19 €

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 ?