" Structures de données et méthodes formelles"

Le livre " Structures de données et méthodes formelles"
de Marc Guyomard est paru chez Springer.

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