Studia Informatica Universalis n°7-2 JFLA 2009

Description
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.
Détails
Auteur: Ivan Lavallée
Editeur: Hermann
Collection: STUDIA INFORMAT
Format: Broché
Presentation: Broché
Date de parution: 29 Août 2009
Nombre de pages: 294
Dimensions: 15,2 x 22,9 x 1,5
Prix publique: 45,00 €
Information complémentaires
Numéro de série: 2009
Classification: Sciences pures > Mathématiques
Code Classification: 3051 > 3052
EAN-13: 9782705669171
Pour modifier cette fiche vous devez être connecté:
Se connecter:
Où trouver ce livre:

(Liste non exhaustives de librairies ayant ce livre en stock (actuellement 3400 librairie référencées dans notre annuaire). Vous êtes un professionel du livre et souhaitez figurer sur cette carte ? Contactez nous ! )
Vous pouvez également vous raprochez d'une librairie proche de chez vous: