Jean-Claude Fernandez
Biographie
Ancien professeur a l'Universite Grenoble Alpes. Ancien membre du laboratoire
Verimag. Il a enseigne les architectures logicielles et materielles, la
theorie des langages et des automates, la semantique et la compilation. Ses
travaux de recherche portaient sur la verification formelle et la validation
de systemes critiques.
Contributions de Jean-Claude Fernandez
-
Automates à états finis et langages réguliers - Rappels des notions essentielles et plus de 170 exer, Rappels des notions essentielles et plus de 170 exercices corrigésYliès Falcone, Jean-Claude FernandezDunod