[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

Types for Proofs and Programs

Langue AnglaisAnglais
Livre Livre de poche
Livre Types for Proofs and Programs Thorsten Altenkirch
Code Libristo: 01569105
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octobre 2007
This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop... 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

Internet of Things, Smart Spaces, and Next Generation Networking Sergey Andreev / Livre de poche
common.buy 68.07 €
Bugs! Bugs! Bugs! Activity Book Tallarico / Livre de poche
common.buy 6.52 €
Aristotle in China Robert Wardy / Livre de poche
common.buy 60.36 €
Metropolis and Hinterland Neville Morley / Livre relié
common.buy 142.46 €
Atomicity and Quanta James Jeans / Livre de poche
common.buy 46.55 €

This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006.§The 17 revised full papers presented were carefully reviewed and selected from 29 submissions. All current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

À propos du livre

Nom complet Types for Proofs and Programs
Auteur Thorsten Altenkirch, Conor McBride
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2007
Nombre de pages 272
EAN 9783540744634
ISBN 3540744630
Code Libristo 01569105
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 900
Dimensions 155 x 235 x 18

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

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