Chercheur · France
1946 –
Prochain livre attendu depuis ~2002-11 (±30 mois) — pas de nouvelle parution
| 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.
| Auteur | Contexte(s) | Croisements |
|---|---|---|
| Jacqueline Gassier | Masson (1993) · Masson (1997) | 2 |
| Jean-Claude Chanussot | Masson (1993) · Masson (1997) | 2 |
| José-Philippe Pérez | Masson (1993) · Masson (1997) | 2 |
| Raymond-Gilbert Danowski |
| 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 |
| 1978 | Analyse fonctionnelle en informatique de gestion | Claude Cochet, Henri Briand | Dunod |
| 1st Conference on the B method |
| Conférence internationale B (01 ; 1996 ; Nantes) |
| Institut de recherches en informatique de Nantes |
| 1995 | Z twenty years on. What is its future ? | International conference on putting into practice methods and tools for information system design (07 ; 1995) | IUT |
| 1991 | Pratique des méthodes et outils logiciels d'aide à la conception des systèmes d'information | Conférence HOOD (01 ; 1991 ; Nantes) | LIANA |
| 1989 | Actes | Journées Pratique des méthodes et outils logiciels d'aide à la conception de systèmes d'information (03 ; 1989 ; Nantes) | LIANA |
| Masson (1993) · Masson (1997) |
| 2 |
| Christophe Klimczak | Masson (1993) · Masson (1997) | 2 |
| Jean-Claude Roland | Masson (1993) · Masson (1997) | 2 |
| Alain Harlay | Masson (1993) · Masson (1997) | 2 |
| Jean Hladik | Masson (1993) · Masson (1997) | 2 |
| Teknea | 1 |
| Université de Nantes | 1 |
| [Conservatoire national des arts et métiers, centre régional associé de Nantes] | 1 |
