Structures de données et méthodes formelles (génie logiciel, méthodes formelles, programmation, algorithmes, mathématiques discrètes, logique, méthode B)

Structures de données et méthodes formelles
Marc Guyomard
Springer, 2011


http://www.springer.com/computer/book/978-2-8178-0199-5

Préconditions

Un collègue de l'Ecole Supérieure d'Electricité de Gif, m'adresse deux préconditions, exemples qu'il donne à ses étudiants :

"Ce jouet est destiné aux enfants de plus de trois ans"

"Dans la même veine, pour un fusil:
Ne tirez que quand vous voyez le blanc des yeux..."