[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Interactive Theorem Proving

Langue AnglaisAnglais
Livre Livre de poche
Livre Interactive Theorem Proving Gerwin Klein
Code Libristo: 02779852
Éditeurs Springer International Publishing AG, juin 2014
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Pro... Description détaillée
? points 161 b
68.07 € včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

Na půl žerdi Heda Bartíková / Livre de poche
common.buy 3.63 €
Kant's Critical Philosophy Gilles Deleuze / Livre de poche
common.buy 28.46 €
Held ohne Gewalt Wilhelm Meissel / Livre relié
common.buy 25.69 €
Interactive Theorem Proving Sandrine Blazy / Livre de poche
common.buy 68.07 €
Aktiv für gesunde Knochen, m. DVD Marta Agoston / Livre de poche
common.buy 8.51 €
Bhagavad Gita Gavin Flood / Livre de poche
common.buy 22.36 €
Iconoclastic Fervor Hillary Sullivan / Livre de poche
common.buy 29.64 €
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Livre de poche
common.buy 43.34 €
International Faust Studies Ehrhard Bahr / Livre de poche
common.buy 70.96 €
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Livre de poche
common.buy 52.62 €
Eleventh International Seaweed Symposium Carolyn J. Bird / Livre relié
common.buy 399.05 €
Kreativnye mysli Evgenij Shepel' / Livre de poche
common.buy 42.38 €
Like Cats and Dogs Steven Heine / Livre de poche
common.buy 64.32 €
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes Darina Allen / Livre relié
common.buy 38.52 €

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

À propos du livre

Nom complet Interactive Theorem Proving
Auteur Gerwin Klein, Ruben Gamboa
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2014
Nombre de pages 555
EAN 9783319089690
ISBN 3319089692
Code Libristo 02779852
Éditeurs Springer International Publishing AG
Poids 8657
Dimensions 155 x 235 x 30

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

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