Les livres que j'ai publiés

Je viens d'être amené à rechercher des livres que j'ai publiés. Certains se trouvent dans les profondeurs de la Toile gougueulisée. Alors je me fais amazone !
http://www.amazon.fr/Henri-Habrias/e/B004MSVDO8
Vive l'auto-promotion !

Henri Habrias, Le modèle relationnel binaire, NIAM, Eyrolles

Henri Habrias, Introduction à la spécification, Masson

Henri Habrias, Introduction à la spécification, Masson

Marc Frappier, Henri Habrias (eds), Software Specification Methods, Springer

Marc Frappier, Henri Habrias (eds), Software Specification Methods, Springer

Henri Habrias, Dictionnaire encyclopédique du génie logiciel, Masson

 Henri Habrias, Dictionnaire encyclopédique du génie logiciel, Masson

David Lightfoot, H. habrias (traduc), La spécification formelle avec Z, Teknea

Henri Habrias, La mesure du logiciel, Teknea

Henri Habrias, La mesure du logiciel, Teknea

Henri Habrias, Marc Frappier (edited by), Software Specification Methods, ISTE

Henri Habrias, Marc Frappier (edited by), Software Specification Methods, ISTE

Jean Jolivet, Henri Habrias (sous la direction de), Pierre Abélard, Colloque international de Nantes, PUR

Jean Jolivet, Henri Habrias (sous la direction de), Pierre Abélard, Colloque international de Nantes, PUR

Henri Habrias, Spécification formelle avec B, Hermes, Lavoisier

Henri Habrias, Spécification formelle avec B, Hermes, Lavoisier

N.B. Plusieurs de ces livres sont remplis de coquilles. Nous avions, quand nous n'étions pas en retraite, des pages sur la Toile où nous avions mis des errata. Malheureusement, ces pages ont été détruites. Alors, si vous êtes un lecteur perspicace, n'hésitez pas à m'écrire.