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.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Interactive Theorem Proving

Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Interactive Theorem Proving Lennart Beringer
Code Libristo: 01661818
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juillet 2012
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... Description détaillée
? points 141 b
58.57 €
Stockage externe en petites quantités Expédition sous 11-15 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Remedios naturales para síntomas habituales : guía de plantas medicinales, alimentos y estilo de vida para distintas dolencias Paula Jiménez Fonseca / Livre Livre de poche
common.buy 27.05 €
Se débrouiller en néerlandais vite fait bien fait ! VASSEUR Livre Livre de poche
common.buy 7.08 €
ORACLES CHALDAIQUES GEMISTE PLETHON Livre binding.
common.buy 48.43 €
REGIA AERONAUTICA - Raid e missioni speciali Robert Robison / Livre Livre de poche
common.buy 15.50 €
EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ / Livre Livre de poche
common.buy 32.83 €
Pokémon - Coloriages extraordinaires / Livre Livre de poche
common.buy 6.98 €
Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe / Livre Livre relié
common.buy 29.38 €
BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford / Livre Livre
common.buy 15.70 €
Ronaldo - Fotbalové ikony (komiks) Katarína Jančová / Livre Livre de poche
common.buy 10.73 €
cluny musee national moyen age Livre Livre
common.buy 28.57 €
Einleitung In Die Konchyliologie, Oder Grundzuge Der Naturgeschichte Der Weichthiere (1853) George Johnston / Livre Livre de poche
common.buy 51.57 €
Dunkelgraf Ludwig Bechstein / Livre Livre de poche
common.buy 51.37 €
Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo / Livre Livre de poche
common.buy 55.93 €
Essais d'Impressions En Couleurs SANS AUTEUR / Livre Livre de poche
common.buy 13.67 €
Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor / Livre Livre de poche
common.buy 78.33 €
Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges / Livre Livre relié
common.buy 14.28 €
Obra-Jogo Rocha Aldene / Livre Livre de poche
common.buy 50.97 €
Koshiki Contact Karatedo Olaf Lotze-Leoni / Livre Livre de poche
common.buy 18.23 €
Internationale Projektfinanzierung Carola Schulz / Livre Livre de poche
common.buy 81.88 €
Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil / Livre Livre de poche
common.buy 17.12 €
Filmanalyse In this world unter der Betrachtung von Grunden fur Migration in Verbindung mit der Tsunami-Katastrophe 2004 Stefan Wurm / Livre Livre de poche
common.buy 16.21 €
August Hermann Francke - Sein Leben Und Wirken ALS Pietistischer P dagoge Susanne Potthast / Livre Livre de poche
common.buy 16.21 €
Top
Angličtina pro překladatele Jarmila Prošvicová / Livre Livre
common.buy 9.01 €

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.

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 Lennart Beringer, Amy Felty
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2012
Nombre de pages 419
EAN 9783642323461
ISBN 3642323464
Code Libristo 01661818
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 650
Dimensions 155 x 235 x 25

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Informatique et technologies de l’information > Informatique > Interaction homme-machine > Conception de l’interface utilisateur et facilité d’utilisation
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 Technologies and Sociotechnical Systems Hongbin Zha / Livre Livre de poche
common.buy 58.57 €
Combinatorial Mathematics III A.P. Street / Livre Livre de poche
common.buy 42.35 €
Interactive Theorem Proving and Program Development Yves Bertot / Livre Livre relié
common.buy 141.06 €
Psychoanalysis, Sleep And Dreams Andre Tridon / Livre Livre de poche
common.buy 25.12 €
Secret Geometry of the Dollar Ken McGrath / Livre Livre de poche
common.buy 22.89 €
Allergies Stuart H Young MD / Livre Livre de poche
common.buy 19.35 €
Animals Word Scramble: Book 1 Michael Stachiw / Livre Livre de poche
common.buy 9.41 €
Rambling Rhymes Clare Crooke / Livre Livre de poche
common.buy 10.33 €
What Is Personification? Robin Johnson / Livre Livre de poche
common.buy 9.72 €
Human Rights and the Criminal Justice System Anthony Amatrudo / Livre Livre de poche
common.buy 77.42 €
Top
The Neville Goddard Collection Neville Goddard / Livre Livre de poche
common.buy 26.95 €
Cognitive Psychology Eysenck / Livre Livre de poche
common.buy 68.30 €
Tarot Spreads Jeffrey Price / Livre Livre de poche
common.buy 15.80 €
KING of kings and LORD of lords Bible Lesson 1 K. L. Rich / Livre Livre de poche
common.buy 11.75 €
How to Find a Niche Market...And Make Money M Morgan / Livre Livre de poche
common.buy 7.69 €
Medical Marijuana: Patient Guidebook Dr Stephen Blythe / Livre Livre de poche
common.buy 6.78 €
The Long List Anthology Volume 2: More Stories From the Hugo Award Nomination List David Steffen / Livre Livre de poche
common.buy 18.13 €
The Analysis of Mind Bertrand Russell / Livre Livre de poche
common.buy 15.80 €
Criminal Procedure, Loose-Leaf Version Joel Samaha / Livre Livre de poche
common.buy 207.85 €
Winged with Longing for Better Things Sylvia Sweeney / Livre Livre de poche
common.buy 16.51 €
Typography Essentials Revised and Updated Ina Saltz / Livre Livre de poche
common.buy 21.68 €
How to Read Chinese Drama Patricia Sieber / Livre Livre de poche
common.buy 46.91 €
Infrastructure We Ride On Joseph (City College of New York USA) Berechman / Livre Livre de poche
common.buy 114.71 €
Head Strong Michael D. Matthews / Livre Livre relié
common.buy 48.53 €

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 ?