title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
---|---|---|---|
Apprendre à programmer avec Ocaml: Algorithmes et structures de données | 978-2-212-13678-4 (2-212-13678-1) | 2014 | Jean-Christophe Filliâtre |
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, ... Notes in Computer Science, Band 9407) | 978-3-319-25422-7 (3-319-25422-7) | 2015 | Michael Butler · Fatiha Zaïdi |
Informatique pour tous en classes préparatoires aux grandes écoles: Manuel d'algorithmique et programmation structurée avec Python, Nouveaux programmes 2013, Voies MP, PC, PSI, PT, TPC et TSI | 978-2-212-13700-2 (2-212-13700-1) | 2013 | Benjamin Wack · Judicaël Courant · Marc de Falco · Gilles Dowek · Jean-Christophe Filliâtre · Stéphane Gonnord |