Logique. Vol. 2. Méthodes formelles pour l'étude des programmes

Éditeur: Lavoisier-Hermès
1994352 pagesISBN 9782866013950
Format: ReliéLangue : Français
La théorie des ensembles et ses méthodes d'application.
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)