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

Interactive Theorem Proving

5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

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 125 b
51.68 €
Stockage externe Expédition sous 5-8 jours

Politique de retour sous 30 jours

Les clients ont également acheté

Stadi. Architettura e mito Fabio Salomoni / Livre Livre de poche
common.buy 48.65 €
SAMOURAI WILLIAM L ANGLAIS QUI ROMPIT L ISOLEMENT DU JAPON Milton Livre Livre de poche
common.buy 29.12 €
Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина / Livre Livre de poche
common.buy 21.84 €
Abordable
Mesnevija II Dželaluddin Rumi / Livre Livre de poche
common.buy 11.12 €
Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof / Livre Livre de poche
common.buy 29.43 €
De la sigillographie féminine médiévale dans l’Europe méditerranéenne / Livre Livre de poche
common.buy 53.60 €
Top
Ravensburger - 20954 That's not a hat Kartenspiel für 3-8 Personen, Partyspiel, lustige Unterhaltung ab 8 Jahren Kasper Lapp / Articles imprimés Cartes
common.buy 12.74 €
Theorien der Vergleichenden Regierungslehre Gisela Riescher / Livre Livre de poche
common.buy 26.49 €
Bientôt
Franz Liszt und seine Zeit Wolfgang Dömling / Livre Livre relié
common.buy 35.39 €
Aktiv für gesunde Knochen, m. DVD Marta Agoston / Livre Livre de poche
common.buy 7.27 €
Kreativnye mysli Evgenij Shepel' / Livre Livre de poche
common.buy 37.42 €
Na půl žerdi Heda Bartíková / Livre Livre de poche
common.buy 3.53 €
EinFach Deutsch Unterrichtsmodelle Heinrich von Kleist / Livre Livre de poche
common.buy 30.54 €
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Livre Livre de poche
common.buy 30.24 €
Livre cotes de France -le- tome 2 Jean Merrien / Livre Livre de poche
common.buy 5.05 €
Empezar de cero Jimi Hendrix / Livre Livre de poche
common.buy 27.30 €
Dirección y gestión empresarial Fausto Pedro García Márquez / Livre Livre de poche
common.buy 34.28 €
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Livre Livre de poche
common.buy 43.89 €
La Guérison Métaphysique: Comment guérir avec certitude Edmond Nanoukon / Livre Livre de poche
common.buy 32.06 €
citrouille roulante JUNIA WONDERS / Livre Livre relié
common.buy 22.24 €
Bir Tanem Felicien Marceau / Livre Livre de poche
common.buy 12.23 €
Carnets de jeunesse Fallet / Livre Livre de poche
common.buy 37.11 €

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.

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 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

Ceci pourrait également vous intéresser

Interactive Theorem Proving Sandrine Blazy / Livre Livre de poche
common.buy 51.68 €
Interactive Theorem Proving and Program Development Yves Bertot / Livre Livre de poche
common.buy 85.67 €
Branded as Trouble Delores Fossen / Livre audio MP3
common.buy 20.02 €
Interactive Television Demystified Jerry Whitaker / Livre Livre de poche
common.buy 53.81 €
Each Leaf Shines Separate R Warren / Livre Livre de poche
common.buy 14.76 €
Magyar Nemzet Tortenete M R J Kai / Livre Livre de poche
common.buy 31.45 €
Scarlet Sage Gail Ylitalo / Livre Livre de poche
common.buy 15.26 €
Mathematical Dynamic Programming Aditya Chatterjee / Livre Livre de poche
common.buy 23.15 €
Big Book Of Low-Sodium Recipes Linda Larsen / Livre Livre de poche
common.buy 19.01 €
Norfolk and Western Railway Stations and Depots C. Nelson Harris / Livre Livre de poche
common.buy 20.83 €
Iconoclastic Fervor Hillary Sullivan / Livre Livre de poche
common.buy 25.08 €
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes Darina Allen / Livre Livre relié
common.buy 34.08 €
Environmental Management in Organizations John Brady / Livre numérique Adobe ePub DRM
common.buy 69.89 €
The Forty Hadith of Imam al-Nawawi Yahya Ibn Sharaf Al-Nawawi / Livre Livre de poche
common.buy 10.61 €
Secrets of the Eternal Moon Phase Goddesses Julie Peters / Livre Livre relié
common.buy 20.93 €
Fields of Gold: The Orchid and the Rose Jim Stephens / Livre Livre de poche
common.buy 19.31 €
Peeves Mike Van Waes / Livre Livre de poche
common.buy 8.59 €
Swedish Empire History Hourly History / Livre Livre de poche
common.buy 10.31 €
A Match for Emma Pepper Basham / Livre Livre de poche
common.buy 13.04 €
Physical Review, Volume 12 Cornell University / Livre Livre de poche
common.buy 27.81 €
Sacred Geometry Anthony Muni Jr. / Livre Livre de poche
common.buy 10.81 €
Bhagavad Gita Gavin Flood / Livre Livre de poche
common.buy 18.70 €
The Keys of Persephone Kate Gray Glass / Livre Livre de poche
common.buy 19.41 €
Eleventh International Seaweed Symposium Carolyn J. Bird / Livre Livre relié
common.buy 338.77 €

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 ?