Studia informatica universalis Volume 2010
Description
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.
Détails
Auteur: Ivan Lavallée
Editeur: Hermann
Collection: HR.HORS COLLEC.
Format: Broché
Presentation: Broché
Date de parution: 18 Mars 2010
Nombre de pages: 310
Dimensions: 15,2 x 22,9 x 1,6
Prix publique: 44,00 €
Information complémentaires
Numéro de série: 2010
Série: Studia informatica universalis
Classification: Sciences pures > Mathématiques
Code Classification: 3051 > 3052
EAN-13: 9782705670252
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:
Du même auteur
Dans la même catégorie
Du même éditeur
