dimanche 19 juin 2011

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

Aucun commentaire: