Détail de l'auteur
Auteur Jean-Christophe Filliatre |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Titre : Apprendre à Programmer avec OCaml : Algorithmes et structures de données Type de document : texte imprimé Auteurs : Sylvain Conchon, Auteur ; Jean-Christophe Filliatre, Auteur Mention d'édition : paris Année de publication : 2014 Importance : 429p Présentation : ill;couv Format : 26cm ISBN/ISSN/EAN : 978-2-212-13678-4 Langues : Français (fre) Mots-clés : Programmer OCaml Algorithmes structures données Index. décimale : 005.1 Programmation Apprendre à Programmer avec OCaml : Algorithmes et structures de données [texte imprimé] / Sylvain Conchon, Auteur ; Jean-Christophe Filliatre, Auteur . - paris . - 2014 . - 429p : ill;couv ; 26cm.
ISBN : 978-2-212-13678-4
Langues : Français (fre)
Mots-clés : Programmer OCaml Algorithmes structures données Index. décimale : 005.1 Programmation Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité P/005.1/173+009 P/005.1/173 Livre Bibliothèque principale Informatique (004.........006 ) Disponible P/005.1/173+001 P/005.1/173 Livre Bibliothèque principale Informatique (004.........006 ) Disponible P/005.1/173+010 P/005.1/173 Livre Bibliothèque principale Informatique (004.........006 ) Disponible P/005.1/173+008 P/005.1/173 Livre Bibliothèque principale Informatique (004.........006 ) Disponible P/005.1/173+007 P/005.1/173 Livre Bibliothèque principale Informatique (004.........006 ) Disponible P/005.1/173+002 P/005.1/173 Livre Bibliothèque principale Informatique (004.........006 ) Disponible P/005.1/173+003 P/005.1/173 Livre Bibliothèque principale Informatique (004.........006 ) Disponible P/005.1/173+006 P/005.1/173 Livre Bibliothèque principale Informatique (004.........006 ) Disponible P/005.1/173+004 P/005.1/173 Livre Bibliothèque principale Informatique (004.........006 ) Disponible P/005.1/173+005 P/005.1/173 Livre Bibliothèque principale Informatique (004.........006 ) Disponible
