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

Ne le ratez pas !
Ce n'est pas un de ces livres dont vous n'arrivez pas à tirer plus d'un transparent (creux) après lecture !