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 !
Henri Habrias, Le modèle relationnel binaire, NIAM, Eyrolles
Henri Habrias, Introduction à la spécification, Masson
Dans ce livre, j’ai pris des exemples avec Saint-Yrieix-la-Perche.
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.
Articles
Aucun commentaire:
Enregistrer un commentaire