Title: Cours et exercices d'algorithmique : Vérifier, tester et concevoir des programmes en les modélisant, Licence et master d'informatique