Articles liés à Studia Informatica Universalis, JFLA 2010: Actes des...

Studia Informatica Universalis, JFLA 2010: Actes des vingt-et-unièmes Journées francophones des langages applicatifs - Couverture souple

Lavallée, Ivan

 
9782705670252: Studia Informatica Universalis, JFLA 2010: Actes des vingt-et-unièmes Journées francophones des langages applicatifs
Couverture souple
ISBN 10 : 2705670254 ISBN 13 : 9782705670252
Editeur : Hermann, 2010

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Hermann
Date d'édition
2010
Langue
français
ISBN 10 
2705670254
ISBN 13 
9782705670252
Reliure
Broché
Nombre de pages
311
Coordonnées du fabricant
HACHETTE LIVRE SA
https://www.hachette.fr/

1 AVENUE GUTENBERG
MAUREPAS CEDEX
78319
France