[Enseignement]
Jean-Marc Champarnaud
Professeur à l'Université de Rouen
Laboratoire LITIS (EA 4108)
Année 2007-2008
En 2007-2008 j'enseignerai :
Jean-Marc Champarnaud
Professeur à l'Université de Rouen
Laboratoire LITIS (EA 4108)
Année 2007-2008
En 2007-2008 j'enseignerai :
- en première année de Master d'Informatique : théorie des automates, langage C++.
- en seconde année de Master d'Informatique : algorithmique et applications des automates, initiation à la vérification.
Copyright (c) 2005-2007 Jean-Marc
Champarnaud. All rights reserved. Design (c) Andrew Tedstone,
2004.