Bibliothèque Centrale de l'université Ibn Tofail - Kénitra
A partir de cette page vous pouvez :
Retourner au premier écran avec les catégories... |
Détail de l'indexation
005.131 GOC







































































































































































































































































































































































































Ouvrages de la bibliothèque en indexation 005.131 GOC



LOGIQUE, vol. 2. Méthodes formelles pour l'étude des programmes / Paul GOCHET
Titre de série : LOGIQUE, vol. 2 Titre : Méthodes formelles pour l'étude des programmes Type de document : texte imprimé Auteurs : Paul GOCHET, Auteur Editeur : HERMES Année de publication : 1994 Importance : 351 P. Format : 23 CM ISBN/ISSN/EAN : 2-86601-395-6 Langues : Français (fre) Mots-clés : INFORMATIQUE PROGRAMMES ETUDE ELABORATION APPLIQUATION Index. décimale : 005.131 GOC LOGIQUE, vol. 2. Méthodes formelles pour l'étude des programmes [texte imprimé] / Paul GOCHET, Auteur . - Paris : HERMES, 1994 . - 351 P. ; 23 CM.
ISBN : 2-86601-395-6
Langues : Français (fre)
Mots-clés : INFORMATIQUE PROGRAMMES ETUDE ELABORATION APPLIQUATION Index. décimale : 005.131 GOC Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 410154 005.131 GOC Livre Bibliotheque Centrale Informatique Exclu du prêt