Détail de l'auteur
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
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)
Cote Support Localisation Disponibilité 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
