Henri Habrias

1946 –

Œuvres12

Total pages2 222médiane 197 p.

Période d'activité1985–2001

Prochaine sortie estimée2002-11±30 mois · mix régression+cadence

Prochain livre attendu depuis ~2002-11 (±30 mois) — pas de nouvelle parution

Bibliographie (12)

Année	Titre	Éditeur	Pages
1985	Analyse - conception de systèmes d'information 1	Conservatoire national des arts et métiers, centre associé de Nantes	137
1985	Analyse - conception de systèmes d'information [2]	Conservatoire national des arts et métiers, centre associé de Nantes	120
1985	Analyse conception de systèmes d'information	Conservatoire national des arts et métiers, centre associé de Nantes	—
1985	Informatique	[Conservatoire national des arts et métiers, centre régional associé de Nantes]	200
1988	Le Modèle relationnel binaire	Eyrolles	301
1989	Exercices études de cas, méthode NIAM	IUT, CRA du CNAM	100
1990	La Méthode Moon	IUT, LIANA	—
1991	Introduction à la spécification	IUT, LIANA	225
1994	La mesure du logiciel	Teknea	194
1997	Dictionnaire encyclopédique du génie logiciel	Masson	467
2001	Petit dictionnaire à l'usage des lecteurs novices d'Abélard	Université de Nantes	64
2001	Spécification formelle avec B	Hermès science publ.	414

Année	Titre	Auteur(s) principal	Éditeur
2003	Mathématiques à l'usage des informaticiens	Thierry Brugère, Alain Mollard	Ellipses
1979	Les Bases de données	Centre de formation des personnels communaux. France	C.F.P.C.

Année	Titre	Auteur(s) principal	Éditeur
1994	La spécification formelle avec Z	David Lightfoot	Teknea

Année	Titre	Auteur(s) principal	Éditeur
2002	ZB 2002	International Z and B conference (02 ; 2002 ; Grenoble)	APCB
1998	B'98	Conférence internationale B (02 ; 1998 ; Montpellier)	APCB
1996

Auteurs ayant un livre paru la même année chez un éditeur de Henri Habrias.

Éditeur	Œuvres
Conservatoire national des arts et métiers, centre associé de Nantes	3
IUT, LIANA	2
Masson	2
Eyrolles	1
Hermès science publ.	1
IUT, CRA du CNAM	1