Nouveau : -5% dès 30€ | -10% dès 50€

Livraison offerte  !
Recyclivre, l'occasion fait le lien

Studia informatica universalis, n° 9.1. Journées francophones des langages applicatifs

Micaela Mayero
  • 15/01/2014
  • Hermann
NC (0 avis)
Couverture de Studia informatica universalis, n° 9.1. Journées francophones des langages applicatifs par Micaela Mayero

États des livres

Résumé

Journées Francophones des Langages Applicatifs French speaking conference on Functional Programming and Proofs Technics Spécial issue : selection of best papers of the conference JFLA 2010 Guest editor : Micaela Mayero This special issue contains a selection of the best papers of the International French speaking Conference on Functional Programming and Proofs Technics JFLA 2010. The five papers selected for this special issue are extended version of the original papers. Contributions : - A Mergeable Interval Map R. Bonichon, P. Cuoq - Tasks, Types and Tactis for Local Computation Systems P. Castéran, V. Filou - First-Class Containers in Coq S. Lescuyer - Enfocing Type-Safe Linking using Inter-Package Relationships M. Dogguy, S. Glondu, S. Le Gall, S. Zacchiroli - Real-Time Monitoring of Ocaml programs S. Conchon, J.-C. Filliâtre, F. Le Fessant, J. Robert, G. Von Tokarski

Prix  31,36 €

En état Très bon

product_favorite.connexion

Livré à partir du 9 juin

Vous faites un achat engagé

50 emplois solidaires crées

+ 1 000 000 € reversés à des associations

1% for the planet member Certified B Corporation

Livraison offerte !

Très bon

Prix  31,36 €

Ces livres pourraient aussi vous plaire

Donnez une seconde vie à vos livres !

  • Facile et rapide
  • Paiement en 48H
  • Expédition gratuite
Scanner pour télécharger l'application
QR Code
Disponible sur l'Apple Store Disponible sur Google Play

Autres livres liés à Micaela Mayero

Avis des lecteurs Recyclivre

NC (0 avis)

Aucun avis pour le moment

Donnez votre avis sur le contenu du livre. 

Donnez votre avis

Abonnez-vous à notre newsletter

Sélection lecture et Bons plans
Chargement en cours