Affichage des articles dont le libellé est Livres. Afficher tous les articles
Affichage des articles dont le libellé est Livres. Afficher tous les articles
vendredi 2 janvier 2015
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
Marc Guyomard
Springer, 2011
http://www.springer.com/computer/book/978-2-8178-0199-5
jeudi 11 février 2010
Inscription à :
Articles (Atom)
