Henri Habrias
Biographie
Professeur d'informatique à l'IUT de Nantes (en 1994).
Contributions de Henri Habrias
-
Informatique, étude du système d'information existantHenri Habrias[Conservatoire national des arts et métiers, centre régional associé de Nantes]
-
Pierre Abélard, Colloque international de NantesJean Jolivet, Henri HabriasPresses universitaires de Rennes24,00
-
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
-
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]
-
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
-
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
-
Pierre Abélard, à l'aube des universités, actes de la conférence internationale, Université de Nantes, 3-4 octobre 2001Henri HabriasUniversité 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
