Studia Informatica Universalis, JFLA 2010

Lavallée Ivan

Date de parution 18/03/2010

EAN: 9782705670252

Disponibilité Disponible chez l'éditeur

44,00 €

Ces onze contributions reflètent les récentes avancées de la recherche concernant aussi bien l'application des langages fonctionnels que la conception et l'utilisation d'assistants à la preuve.

Informations détaillées

Nom d'attribut	Valeur d'attribut
Common books attribute
Éditeur	HERMANN
Nombre de pages	310
Langue du livre	Français
Auteur	Lavallée Ivan
Format	Paperback / softback
Type de produit	Livre
Date de parution	18/03/2010
Poids	421 g
Dimensions (épaisseur x largeur x hauteur)	1,60 x 15,20 x 22,90 cm

Résumé

Actes des vingt-et-unièmes Journées francophones des langages applicatifs

Ces onze contributions reflètent les récentes avancées de la recherche concernant aussi bien l'application des langages fonctionnels que la conception et l'utilisation d'assistants à la preuve.