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éseau de communication permet d'introduire dés notions très complexes comme, par exemple, les répartitions de charge et de trafic sur Internet).
En 9 chapitres, l'ouvrage fournit un rappel des notions indispensables en l... >Voir plus