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