Studia Informatica Universalis n°7-2 JFLA 2009

Studia Informatica Universalis n°7-2 JFLA 2009 - Ivan Lavallée

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é:

   

Où trouver ce livre:


rechercher les librairies ayants ce livre en stock


(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:

    Du même auteur

    Dans la même catégorie

    Du même éditeur