Treatment in progress...
Close notification

Our telephone...

is currently not working. We're doing all we can to get the problem solved as soon as possible. 
In the meantime, please use e-mail to contact us.

Display notification

Studia Informatica Universalis n°7-2 JFLA 2009

Lavallée Ivan
Publication date 29/08/2009
EAN: 9782705669171
Availability Available from publisher
Ces neuf 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. Avec également des articles plus proches de tutoriels ou... See full description
Attribute nameAttribute value
Common books attribute
PublisherHERMANN
Page Count294
Languagefr
AuthorLavallée Ivan
FormatPaperback / softback
Product typeBook
Publication date29/08/2009
Weight397 g
Dimensions (thickness x width x height)1.50 x 15.20 x 22.90 cm
Actes des vingtièmes Journées francophones des langages applicatifs
Ces neuf 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. Avec également des articles plus proches de tutoriels ou de retours d'expérience.