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 6.49 € Point Bpost 8.49 € Bpost 7.99 € Point DPD 3.99 € Service de messagerie GLS 5.49 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Types for Proofs and Programs

International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Langue AnglaisAnglais
Livre Livre de poche
Livre Types for Proofs and Programs Stefano Berardi
Code Libristo: 01649961
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juin 2009
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of... Description détaillée
? points 125 b
51.26 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Top
The Wiener Schnitzel Love Book! Florian Weitzer / Livre Livre relié
common.buy 33.20 €
Formation de cicatrices minimales apr?s des incisions chirurgicales dans les lignes de pliage principales Gottfried Lemperle Dieter Knapp / Livre Livre de poche
common.buy 25.67 €
Fútbol africano II Librofutbol. Com / Livre Livre de poche
common.buy 23.57 €
Trötsch Meine weltliebste Freundin Überraschungsgrüße / Livre Livre de poche
common.buy 8.92 €
Záverečný účet obce a vyššieho územného celku Ingrid Konečná Veverková / Livre Livre de poche
common.buy 13.84 €
Histoire de la Revolution de 1848. Tome 3 (Ed.1849-1850) Leonard Gallois / Livre Livre de poche
common.buy 32.20 €
Südasiatische Schüler im englischen Schulsystem Lubna Qadeer / Livre Livre de poche
common.buy 44.13 €
Idées reçues sur le Royaume-Uni Fourton / Livre Livre de poche
common.buy 15.84 €
K jak Klara 7 - Tak mi przykro Knudsen / Livre audio MP3
common.buy 3.00 €
Saint Coran FranCais souple - Poche - Vert - Arc en ciel REVELATION / Livre Livre de poche
common.buy 11.23 €
Музыкальные пальчиковые игры Елена Поддубная / Articles imprimés Partitions
common.buy 18.25 €
Robota jak każda inna Alex W. Inker / Livre Livre de poche
common.buy 14.34 €
3D Prozessvisualisierung im Internet Stephan Huth / Livre Livre de poche
common.buy 49.35 €
Arbeiter, Unternehmer, Professioneller Manfred Stock / Livre Livre de poche
common.buy 71.62 €
Quitter l'ouest Robin / Livre Livre de poche
common.buy 18.15 €
Cu bocancii sub bra¿ Diana Noor / Livre Livre de poche
common.buy 20.26 €
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Livre Livre de poche
common.buy 6.71 €
Le clonage MONTAGUT / Livre Livre de poche
common.buy 14.74 €
Prinzipien und Struktur einer gerechten Gesellschaft Bernd Waß / Livre Livre relié
common.buy 24.07 €
Schulcafé Pustekuchen 2 Backe Backe Hühnerkacke Kati Naumann / Audio CD Audio
common.buy 8.62 €
Die Erziehungslehre Der Drei Kappadozier: Eine Padagogisch-Philosophische Studie ... Karl Weiss / Livre Livre de poche
common.buy 18.65 €
Raccontini Vol. 2 - Easy Italian Reader Alfonso Borello / Livre Livre de poche
common.buy 11.93 €
Aufbewahrungsbox fürs Auto aus Kunststoff / Jeu/jouet Jouet
common.buy 13.53 €
Catalogue de Tableaux, Dessins, Gravures Marius Paulme / Livre Livre de poche
common.buy 13.94 €

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2008, the last of a series of meetings of the TYPES working group funded by the European Union between 1993 and 2008; the workshop has been held in Torino, Italy, in March 2008.§The 19 revised full papers presented were carefully reviewed and selected from 27 submissions. The topic of the workshop was formal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, mobile code, formalization of mathematics, mathematics education.

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 Types for Proofs and Programs
Auteur Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2009
Nombre de pages 323
EAN 9783642024436
ISBN 3642024432
Code Libristo 01649961
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 510
Dimensions 155 x 235 x 19

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

Real-Time Mobile Multimedia Services Dilip Krishnaswamy / Livre Livre de poche
common.buy 51.26 €
The Doomed City (1910) the Doomed City (1910) John R. Carling / Livre Livre de poche
common.buy 36.11 €
Data Science-Based Full-Lifespan Management of Lithium-Ion Battery Kailong Liu / Livre Livre relié
common.buy 51.26 €
Anesthesiology Linda S. Aglio / Livre Livre de poche
common.buy 169.64 €
Immunometabolism Suresh Mishra / Livre Livre de poche
common.buy 119.88 €
Welcome to the Swamp: An Illustrated Journey Into the Deplorable World of Donald J. Trump Tim Doyle / Livre Livre de poche
common.buy 23.57 €
Motivating Children with Specific Learning Difficulties GAD ELBEHERI / Livre Livre de poche
common.buy 47.34 €
Christian Songs and Rhymes for Children Children's Jesus Book Baby Professor / Livre Livre de poche
common.buy 12.33 €
Algebra ROBERT SHUTLER / Livre Livre de poche
common.buy 40.32 €
The Top 5 Greatest Native Americans: Sitting Bull, Crazy Horse, Geronimo, Tecumseh, and Chief Joseph Charles River Editors / Livre Livre de poche
common.buy 15.24 €
GREED began in the WHITE HOUSE: It helps the rich get richer, forces the poor onto welfare, and squeezes working Middle Class families. James T Kelly / Livre Livre de poche
common.buy 10.32 €
Saving Each Other: A Mother-Daughter Love Story Amanda Troop / Audio CD Audio
common.buy 28.38 €
Born in the year 1970 Christoph Dappen / Livre Livre de poche
common.buy 7.82 €
Torrent des passions R V RONI SAINT-CYR / Livre Livre de poche
common.buy 23.57 €
Prophetic Word Bank Major Daughter / Livre Livre de poche
common.buy 15.04 €
My Toast Isn't Buttered Chris Shane Henry / Livre Livre de poche
common.buy 11.23 €
Sunny Weather: A 4D Book Sally Lee / Livre Livre de poche
common.buy 7.51 €
Astronomy For Beginners Sally R Ball / Livre Livre de poche
common.buy 11.63 €
The Originals: The Complete Series / Video DVD
common.buy 80.95 €
Atlas of Forensic Pathology, m. 1 Buch, m. 1 E-Book Joseph A. Prahlow / Livre Livre relié
common.buy 1 170.42 €
Antiviral Drugs and Interferon: The Molecular Basis of Their Activity Yechiel Becker / Livre Livre de poche
common.buy 204.06 €
Epistemic Paternalism Kristoffer Ahlstrom Vij / Livre Livre relié
common.buy 59.79 €
Triumph of the Moon Ronald Hutton / Livre Livre de poche
common.buy 34.70 €
How To...Football DK / Livre Livre relié
common.buy 8.62 €

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 ?