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 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Types for Proofs and Programs

International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Langue AnglaisAnglais
Livre Livre de poche
Livre Types for Proofs and Programs Marino Miculan
Code Libristo: 01567627
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2008
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the conclud... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Top
Kamošky, schôdzky a tajomstvá pyžamových večierkov Cathy Hopkins / Livre Livre relié
common.buy 6.29 €
Aru Shah e il canto della morte Roshani Chokshi / Livre Livre de poche
common.buy 19.69 €
Nexus Yuval Noah Harari / Livre Livre relié
common.buy 23.19 €
Zápisník Black Red tečkovaný L Articles de papeterie Articles de papeterie
common.buy 7.99 €
You Are My TRUTH Felicitas Brandt / Livre Livre de poche
common.buy 18.59 €
E-biznes Steve West / Livre Livre de poche
common.buy 14.99 €
Ataque a un enemigo de la libertad Cicerón / Livre Livre de poche
common.buy 10.09 €
Vertrauenswürdige digitale Langzeitarchivierung nach DIN 31644 Christian Keitel / Livre Livre de poche
common.buy 29.80 €
Psychisch kranke Eltern, fur Kinder (k)ein Problem? Yvonne Behla / Livre Livre de poche
common.buy 38.00 €
El libro de los hechizos Cecilia Pisos / Livre Livre de poche
common.buy 11.79 €
Réponse du blé semé tardivement ? l'azote Deepak Sapkota / Livre Livre de poche
common.buy 35.49 €
Puccini: La Boheme/Madame Butterfly RPO/Abell / Audio CD Audio
common.buy 27.29 €
NIKOLA GRANDMONTAGNE / Livre Livre de poche
common.buy 18.59 €
OBOENKONZERT 2 B-DUR HWV 302A GEORG FRIEDRICH HAND Livre binding.
common.buy 7.99 €
iPod Jude D. Biersdorfer / Livre Livre de poche
common.buy 19.89 €
El accidente del teletransporte Ned Beauman / Livre Livre de poche
common.buy 29.29 €
Szerafina és a Fekete Köpeny Robert Beatty / Livre Livre relié
common.buy 6.49 €
Lettres Politiques Adressees A Timon Theophraste / Livre Livre de poche
common.buy 17.49 €
František Skála - Grafika František Skála / Livre Feuille
common.buy 13.19 €
de Donationibus, Jus Romanum Theorie de la Reserve Et de la Quotite Disponible, Droit Civil CARRIERE-J-J-A / Livre Livre de poche
common.buy 14.19 €

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.§The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.

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 Types for Proofs and Programs
Auteur Marino Miculan, Ivan Scagnetto, Furio Honsell
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2008
Nombre de pages 203
EAN 9783540680840
ISBN 3540680845
Code Libristo 01567627
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 343
Dimensions 155 x 235 x 14

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 > Informatique > Informatique théorique > Mathématiques pour les informaticiens
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 > Architecture informatique et conception logique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Informatique et technologies de l’information > Systèmes d’exploitation
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

High-Risers: Cabrini-Green and the Fate of American Public Housing Ben Austen / Livre Livre de poche
common.buy 16.99 €
Building the Medieval World Christine Sciacca / Livre Livre relié
common.buy 17.79 €
Jeremy Blake / Livre Livre de poche
common.buy 11.69 €
Hacking Your Kitchen! Giant Blank Recipe Book FLASH PLANNERS AND N / Livre Livre de poche
common.buy 10.49 €
Globe Trotter's Records - Travel Journal Hawaii Edition DAYBOOK HEAVEN BOOKS / Livre Livre de poche
common.buy 8.99 €
Top
Ego is the Enemy Ryan Holiday / Livre Livre de poche
common.buy 11.09 €
Household Stories Wilhelm Grimm / Livre Livre de poche
common.buy 24.29 €
Fights for the Flag William Henry Fitchett / Livre Livre de poche
common.buy 26.19 €
Requiem for Innocence Bv Lawson / Livre Livre de poche
common.buy 14.29 €
Combat Chronology 1941-1945 (Part 2 of 2) Office of Air Force History / Livre Livre de poche
common.buy 20.09 €
Raising a Soccer Star: A Complete Guide to Unlocking Your Child's Potential Mariana Correa / Livre Livre de poche
common.buy 18.19 €
Hold On Everyone... Christmas Is On Its Way Sue Messruther / Livre Livre de poche
common.buy 13.59 €
Optimal Oil Pipeline Alignment In Ankleshwar Using RS & GIS techniques Anam Akhtar / Livre Livre de poche
common.buy 33.59 €
Jeremy Jackrabbit Jumps Joyfully Aimee Hughes / Livre Livre de poche
common.buy 7.99 €
Fresh Designs for Woodworking Thomas Haapapuro / Livre Livre de poche
common.buy 16.99 €
The Position of the Celebrant at the Holy Communion Morton Shaw / Livre Livre de poche
common.buy 16.89 €
Capitalism on Edge Albena (University of Kent) Azmanova / Livre Livre de poche
common.buy 39.29 €
Dynamics of Discrete Populations and Series of Events Keith Iain Hopcraft / Livre Livre de poche
common.buy 97.99 €
Top
Lonely Planet Pocket Bangkok Lonely Planet / Livre Livre de poche
common.buy 11.39 €
Wind in the Willows Kenneth Grahame / Livre Livre relié
common.buy 16.89 €
Top
Jujutsu Kaisen, Vol. 8 Gege Akutami / Livre Livre de poche
common.buy 10.59 €
Forgot to Feed the Dog! Pearson Linda Pearson / Livre Livre de poche
common.buy 7.99 €
Unofficial Hocus Pocus Cross-stitch Editors of Ulysses Press / Livre Livre de poche
common.buy 17.89 €
Summary: The Art of Social Media / Livre Livre de poche
common.buy 14.19 €

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 ?