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

Language Engineering and Rigorous Software Development

International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

Langue AnglaisAnglais
Livre Livre de poche
Livre Language Engineering and Rigorous Software Development Luis Soares Barbosa
Code Libristo: 01650158
Éditeurs Springer, Berlin, novembre 2008
This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School... Description détaillée
? points 125 b
51.54 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development: an introductory tutorial, an introduction to dependent types, and one on type-based termination.

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 Language Engineering and Rigorous Software Development
Auteur Luis Soares Barbosa, Ana Bove, Alberto Pardo, Jorge Sousa Pinto
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2009
Nombre de pages 301
EAN 9783642031526
ISBN 3642031528
Code Libristo 01650158
Éditeurs Springer, Berlin
Poids 480
Dimensions 155 x 17 x 15

Catégories

Informatique et technologies de l’information > Informatique > Interaction homme-machine > Architecture de l’information
Informatique et technologies de l’information > Applications graphiques et applications médias numériques > Graphisme 3D et modélisation
Informatique et technologies de l’information > Matériel informatique > Maintenance / entretien et réparation
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
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
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?