Studia Informatica Universalis, JFLA 2010

Lavallée Ivan

Publication date 18/03/2010

EAN: 9782705670252

Availability Available from publisher

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.

Detailed information

Attribute name	Attribute value
Common books attribute
Publisher	HERMANN
Page Count	310
Language	fr
Author	Lavallée Ivan
Format	Paperback / softback
Product type	Book
Publication date	18/03/2010
Weight	421 g
Dimensions (thickness x width x height)	1.60 x 15.20 x 22.90 cm

Summary

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.