A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Habrias, Henri
Documents disponibles écrits par cet auteur
Affiner la rechercheDictionnaire encyclopédique du génie logiciel / Habrias, Henri
Titre : Dictionnaire encyclopédique du génie logiciel Type de document : texte imprimé Auteurs : Habrias, Henri Editeur : Paris : Masson Année de publication : 1997 ISBN/ISSN/EAN : 978-2-225-85328-9 Langues : Français Mots-clés : encyclopedie logiciel informatique Index. décimale : LIN Dictionnaire encyclopédique du génie logiciel [texte imprimé] / Habrias, Henri . - Paris : Masson, 1997.
ISBN : 978-2-225-85328-9
Langues : Français
Mots-clés : encyclopedie logiciel informatique Index. décimale : LIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17574 LINA/00B63 imprimé / autre CRDM 00/ESS/ENCYCLOPEDIA OF STATISTICAL SCIENCES Exclu du prêt 18065 68B49 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Software specification methods Type de document : texte imprimé Auteurs : Habrias, Henri ; Marc Frappier Mention d'édition : 2nd ed. Editeur : London : ISTE Ltd Année de publication : 2006 Importance : xxv, 418 p. Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 1-905209-34-7 Index. décimale : 68C Monographie Software specification methods [texte imprimé] / Habrias, Henri ; Marc Frappier . - 2nd ed. . - London : ISTE Ltd, 2006 . - xxv, 418 p. : ill. ; 25 cm.
ISBN : 1-905209-34-7
Index. décimale : 68C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18063 68C347 imprimé / autre CRDM 68/INFORMATIQUE Disponible 17958 LINA/68C347 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Spécification formelle avec B Type de document : texte imprimé Auteurs : Habrias, Henri ; Potet, M.-L. Collab. ; J.-Y. Lafaye Editeur : Paris : Hermes Science Année de publication : 2001 Importance : 416 p. ISBN/ISSN/EAN : 978-2-7462-0302-0 Langues : Français Catégories : 68-XX Computer science :68-99 Computer science (not classified at a more specific level) Mots-clés : language de programation retro-ingenierie methode b Index. décimale : IRIN Spécification formelle avec B [texte imprimé] / Habrias, Henri ; Potet, M.-L. Collab. ; J.-Y. Lafaye . - Paris : Hermes Science, 2001 . - 416 p.
ISBN : 978-2-7462-0302-0
Langues : Français
Catégories : 68-XX Computer science :68-99 Computer science (not classified at a more specific level) Mots-clés : language de programation retro-ingenierie methode b Index. décimale : IRIN Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13710 IRIN/68C67 imprimé / autre CRDM 68/INFORMATIQUE Disponible 13709 IRIN/68C67 imprimé / autre CRDM 68/INFORMATIQUE Disponible
