Logiques, catégories et machines
implantation de langages de programmation guidée par la logique catégorique
auteur :Yves Lafont
Résumé éditeur
Résumé en français
Sujets :Catégories (mathématiques) · Informatique · Langages de programmation fonctionnelle · Logique mathématique
- Première parution
- 1988
- Éditeur
- Institut national de recherche en informatique et en automatique[Le Chesnay]
- Pages
- 124
- Éditions
- 2
- Langue
- Français
Trouver ce livre d’occasion
Recherche préremplie — titre et auteur, toutes éditions confondues — chez 8 marchands d’occasion et sites de petites annonces.
Les 2 éditions
| Année | Éditeur | ISBN | Pages | Ville | Occasion | Notice | |
|---|---|---|---|---|---|---|---|
| 1988 | Institut national de recherche en informatique et en automatique | 2-7261-0515-7 | 124 | [Le Chesnay] | AbeBooks · Momox |