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

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Interactive Theorem Proving Marko Van Eekelen
Code Libristo: 01658528
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, août 2011
This book constitutes the refereed proceedings of the Second International Conference on Interactive... Description détaillée
? points 141 b
58.33 €
Stockage externe en petites quantités Expédition sous 11-15 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Pferdekrankheiten Wilfried Bellinghausen / Livre Livre de poche
common.buy 17.85 €
Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci / Livre Livre de poche
common.buy 15.94 €
Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin / Livre Livre relié
common.buy 28.55 €
Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich / Livre Livre de poche
common.buy 16.14 €
Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann / Livre Livre de poche
common.buy 8.97 €
Chromatic herbarium Massimo Gardone / Livre Livre de poche
common.buy 46.11 €
Albert Einstein Johannes Wickert / Livre Livre de poche
common.buy 9.07 €
Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Livre Livre
common.buy 25.02 €
Walt Disney Captivating History / Livre Livre relié
common.buy 21.59 €
Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa / Livre Livre de poche
common.buy 8.97 €
BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack / Livre Livre de poche
common.buy 12.10 €
Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán / Livre Livre de poche
common.buy 44.40 €
"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter / Livre Livre de poche
common.buy 16.14 €
Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil / Livre Livre de poche
common.buy 13.31 €
Ridiculum Vitae Orta / Livre Livre de poche
common.buy 13.31 €
Terror Ferdinand von Schirach / Livre Livre de poche
common.buy 10.89 €

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. §The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.

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 Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2011
Nombre de pages 383
EAN 9783642228629
ISBN 3642228623
Code Libristo 01658528
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 605
Dimensions 155 x 235 x 23

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 > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
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
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.33 €
Interactive Theorem Proving Matt Kaufmann / Livre Livre de poche
common.buy 115.45 €
Interactive Video Riad Hammoud / Livre Livre de poche
common.buy 102.73 €
Interactive Theorem Proving and Program Development Yves Bertot / Livre Livre relié
common.buy 120.60 €
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Livre Livre de poche
common.buy 21.69 €
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Livre Livre de poche
common.buy 13.92 €
Top
Kingdom, Vol. 2 Yasuhisa Hara / Livre Livre de poche
common.buy 11.80 €
Race and Redemption Jane Samson / Livre Livre de poche
common.buy 50.45 €
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith Kirby D Jones / Livre Livre de poche
common.buy 13.01 €
Top
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Livre Livre de poche
common.buy 14.73 €
The Duties of Parents John Charles Ryle / Livre Livre de poche
common.buy 6.75 €
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Livre Livre de poche
common.buy 45.31 €
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Livre Livre de poche
common.buy 17.45 €
Finding Father Mary Ann Loewen / Livre Livre de poche
common.buy 25.32 €
Foundations of Paleoecology S. Kathleen Lyons / Livre Livre relié
common.buy 179.64 €
Abordable
The Art of Lying: A Moral Guide on How to Properly Lie, Cheat, Deceive, and Manipulate Sally Fairfax / Livre Livre de poche
common.buy 4.53 €
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Livre Livre de poche
common.buy 49.75 €
Firefighters / Livre Livre de poche
common.buy 9.07 €
Mastering Reinforcement Learning with Python Enes Bilgin / Livre Livre de poche
common.buy 49.55 €
Architecting High-Performance Embedded Systems Jim Ledin / Livre Livre de poche
common.buy 53.28 €
Mortimer: Rat Race to Space Joan Marie Galat / Livre Livre de poche
common.buy 10.39 €
Cartoons That Saved the World Tom Ellen / Livre Livre de poche
common.buy 8.67 €
How Big Things Get Done Dan Gardner / Livre Livre relié
common.buy 21.39 €
Richard II Tom Wheelwright / Livre audio MP3
common.buy 15.33 €

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 ?