Détail de l'auteur
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
Les Méthodes formelles utilisées en informatique s'appuient essentiellement sur des concepts mathématiques, comme la théorie des ensembles, la logique, les mathématiques combinatoires ou encore la théorie des graphes (dont l'application à un r[...]
Exemplaires (4)
|
S4/21753 | Livre | Bibliothèque centrale | Disponible |
S4/21754 | Livre | Bibliothèque centrale | Disponible |
S4/21755 | Livre | Bibliothèque centrale | Disponible |
S4/21756 | Livre | Bibliothèque centrale | Disponible |
Accueil