Bibliothèque Centrale de l'Université Assane Seck de Ziguinchor
Détail de l'auteur
Auteur Pierre-Louis Curien |
Documents disponibles écrits par cet auteur (1)
Faire une suggestion Affiner la recherche
Panoramas et synthèses, n° 27. Interactive models of computation and program behavior / Pierre-Louis Curien / 2009
Titre de série : Panoramas et synthèses, n° 27 Titre : Interactive models of computation and program behavior Type de document : texte imprimé Auteurs : Pierre-Louis Curien, Auteur ; Hugo Herbelin, Auteur ; Jean-Louis Krivine ; et, al., Auteur Année de publication : 2009 Importance : 275 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-85629-273-0 Langues : Français (fre) Mots-clés : Logique Mathématique; Mathématique: calcul logique Panoramas et synthèses, n° 27. Interactive models of computation and program behavior [texte imprimé] / Pierre-Louis Curien, Auteur ; Hugo Herbelin, Auteur ; Jean-Louis Krivine ; et, al., Auteur . - 2009 . - 275 p. ; 24 cm.
ISBN : 978-2-85629-273-0
Langues : Français (fre)
Mots-clés : Logique Mathématique; Mathématique: calcul logique Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 007921 6069 511.3 CUR ex.1 Livre Bibliothèque Centrale Mathématiques Disponible 007921 6070 511.3 CUR ex.2 Livre Bibliothèque Centrale Mathématiques Disponible 007921 6107 511.3 CUR ex.3 Livre Bibliothèque Centrale Mathématiques Exclu du prêt