INFO622 : Systèmes de synchronisation et Processus
Aller à la navigation
Aller à la recherche
- Responsable pour 2012--2013: Xavier Provençal
- Xavier Provençal (CM/TD/TP)
Quelques ressources bibliographiques
- Hopcroft et Ullman, Introduction to automata theory, languages, and computation. (1979).
- Garey et Johnson, Computers and intractability a guide to the theory of NP-completeness. (1979).
- Cormen, Leiserson et Rivest, Introduction à l'algorithmique, (1994).
- Paschos, Complexité et approximation polynomiale, (2004).
- Wilf, Algorithms and Complexity, (1994). Disponible en ligne
Déroulement (2012-2013)
CM1 : Introduction
- Banque virtuelle : exemple de condition de concurrence. programme ``banqueVirtuelle.c``.