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 € Coursier DPD 3.99 € Point DPD 2.99 €
phone Contact phoneComment faire ses achats

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 148 b
60.39 € TVA incluse
Stockage externe en petites quantités Expédition sous 13-18 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

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

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 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 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 60.39 €
Interactive Theorem Proving Matt Kaufmann / Livre Livre de poche
common.buy 119.39 €
Interactive Video Riad Hammoud / Livre Livre de poche
common.buy 107.29 €
Interactive Theorem Proving and Program Development Yves Bertot / Livre Livre relié
common.buy 126.09 €
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Livre Livre de poche
common.buy 22.49 €
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Livre Livre de poche
common.buy 14.49 €
Top
Kingdom, Vol. 2 Yasuhisa Hara / Livre Livre de poche
common.buy 12.49 €
Race and Redemption Jane Samson / Livre Livre de poche
common.buy 52.69 €
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.49 €
Top
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Livre Livre de poche
common.buy 15.39 €
The Duties of Parents John Charles Ryle / Livre Livre de poche
common.buy 6.99 €
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Livre Livre de poche
common.buy 47.19 €
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Livre Livre de poche
common.buy 18.19 €
Finding Father Mary Ann Loewen / Livre Livre de poche
common.buy 26.19 €
Foundations of Paleoecology S. Kathleen Lyons / Livre Livre relié
common.buy 185.39 €
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.49 €
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Livre Livre de poche
common.buy 52.19 €
Firefighters / Livre Livre de poche
common.buy 9.39 €
Mastering Reinforcement Learning with Python Enes Bilgin / Livre Livre de poche
common.buy 51.39 €
Architecting High-Performance Embedded Systems Jim Ledin / Livre Livre de poche
common.buy 55.39 €
Mortimer: Rat Race to Space Joan Marie Galat / Livre Livre de poche
common.buy 10.89 €
Cartoons That Saved the World Tom Ellen / Livre Livre de poche
common.buy 9.19 €
How Big Things Get Done Dan Gardner / Livre Livre relié
common.buy 22.69 €
Richard II Tom Wheelwright / Livre audio MP3
common.buy 15.59 €

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 ?