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

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Interactive Theorem Proving Matt Kaufmann
Code Libristo: 01656145
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juin 2010
This book constitutes the refereed proceedings of the First International Conference on Interactive... Description détaillée
? points 280 b
115.50 €
Stockage externe Expédition sous 9-15 jours

Politique de retour sous 30 jours

Les clients ont également acheté

Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze / Livre Livre de poche
common.buy 6.75 €
Obstbau E. Voges / Livre Livre de poche
common.buy 17.86 €
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen / Livre Livre de poche
common.buy 40.07 €
Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener / Livre Livre de poche
common.buy 16.15 €
Test der verschiedenen Proteinanteile Serge Munganga Kabate / Livre Livre de poche
common.buy 39.17 €
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger / Livre Livre de poche
common.buy 31.80 €
Nitra Vladimír Barta / Livre Livre relié
common.buy 34.02 €
DF 81 ALEJ MAGNO IV INDIA A BABILONIA / Livre Livre
common.buy 10.39 €
Nach Spanien Und Portugal H. Obersteiner / Livre Livre de poche
common.buy 26.75 €
Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков / Livre Livre relié
common.buy 18.27 €
Top
Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles / Livre Livre de poche
common.buy 8.98 €
Haltestelle Brussel Hermann Bausinger / Livre Livre de poche
common.buy 19.58 €
Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo / Livre Livre de poche
common.buy 62.19 €
Politische Gesprache der Toten Anonymus / Livre Livre de poche
common.buy 35.63 €
Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch / Livre Livre de poche
common.buy 14.83 €
Solo-Klaviermusik Vol.6 Miklos Spanyi / Audio CD Audio
common.buy 16.45 €
Une Page de l'Histoire de Napoleon 1er Le Moine-O / Livre Livre de poche
common.buy 15.54 €
Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur / Livre Livre de poche
common.buy 12.71 €

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, 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 Matt Kaufmann, Lawrence C. Paulson
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2010
Nombre de pages 495
EAN 9783642140518
ISBN 3642140513
Code Libristo 01656145
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 759
Dimensions 155 x 238 x 33

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Médecine et services infirmiers > Médecine clinique et interne > Maladies et troubles > Immunologie
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 > 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 Theorem Proving and Program Development Yves Bertot / Livre Livre relié
common.buy 120.65 €
Interactive Video Riad Hammoud / Livre Livre de poche
common.buy 102.78 €
Experimental Robotics Oussama Khatib / Livre Livre de poche
common.buy 205.36 €
Interactive Theorem Proving Marko Van Eekelen / Livre Livre de poche
common.buy 58.35 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Livre Livre de poche
common.buy 58.35 €
You Bantering Me? Chris Hughes / Livre Livre de poche
common.buy 17.76 €
Homo Sapiens to Homo 'X' Lawrence Nyaguti Ochieng / Livre Livre relié
common.buy 35.73 €
Rite of Rejection Sarah Negovetich / Livre Livre de poche
common.buy 12.11 €
Oblomov Ivan Aleksandrovich Goncharov / Livre Livre de poche
common.buy 10.29 €
Long Life in Florida Hilton Hotema / Livre Livre de poche
common.buy 31.59 €
We Were Free-Range: An American Childhood 1950-1962 John Erwin / Livre Livre de poche
common.buy 13.01 €
Annihilation Jeff VanderMeer / Livre Livre de poche
common.buy 14.23 €
Classification, Disease and Evidence Philippe Huneman / Livre Livre de poche
common.buy 51.59 €
From The Sun To The Stars James B. Kaler / Livre Livre de poche
common.buy 34.72 €
Kaylynn's Reading Log Martha Day Zschock / Livre Livre de poche
common.buy 8.37 €
Village Heroes Meet the Dragon Patti Vincent / Livre Livre de poche
common.buy 21.19 €
Camping Keith Baker / Livre Livre de poche
common.buy 6.05 €
Sleeping on a Wire David Grossman / Livre Livre de poche
common.buy 20.18 €
The Last Midwife Sandra Dallas / Livre Livre de poche
common.buy 20.89 €
Evolving Human Nutrition Stanley Ulijaszek / Livre Livre relié
common.buy 167.80 €
Chakradance Natalie Southgate / Livre numérique Adobe ePub DRM
common.buy 16.55 €
Uncertainty in Ai: A Journal Through Possible Worlds LAWRY JONATHAN / Livre Livre relié
common.buy 123.78 €
Hidden in Blackness Adaurennaya C Onyewuenyi / Livre Livre relié
common.buy 133.77 €
PRINCE WITHOUT SORROW WIJESEKARA MAITHREE / Livre Livre de poche
common.buy 13.01 €

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 ?