Contributions de Henri Habrias
-
ZB 2002, Grenoble, France, [January 23-25, 2002], 4th International B conference [and the 13 International Z user meeting]International Z and B conference[Apcb]
-
Pierre Abélard, à l'aube des universités, actes de la conférence internationale, Université de Nantes, 3-4 octobre 2001Henri HabriasUniversité de Nantes
-
International workshop on Comparing systems specification techniques "What questions are prompted by ones particular method of specification?", March 26-27, 1998, Nantes, FranceInternational workshop on comparing systems specification techniquesIrin
-
1st Conference on the B method, 8th International conference on Putting into practice methods and tools for information system designConférence internationale BInstitut de recherches en informatique de Nantes
-
Z twenty years on. What is its future ?, proceedings of the 7th International conference on Putting into practice methods and tools for information system design, October, 10-12, 1995, NantesInternational conference on putting into practice methods and tools for information system designIut
-
Putting into practice methods and tools for information system design, conference proceedingsInternational conference on putting into practice methods and tools for information system designInstitut Universitaire de technologie
-
Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information, actesJournées Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'informationLiana-Iut
-
ActesJournées Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'informationLiana
-
Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information, actes des journées... [de] Nantes... 23-24 septembre 1987Henri Habrias, Laboratoire d'informatique de Nantes-AtlantiqueLiana-Iut