- EAN13
- 9782951246126
- ISBN
- 978-2-9512461-2-6
- Éditeur
- APCB
- Date de publication
- 2008
- Code dewey
- 005.12
- Fiches UNIMARC
- S'identifier
The B method
from research to teaching
De Université de Nantes, Journées scientifiques
Dirigé par Henri Habrias, Christian Attiogbé
Édité par Association de pilotage des conférences B, Équipe Composants et logiciels sûrs, Laboratoire d'informatique de Nantes-Atlantique
Apcb
S'identifier pour envoyer des commentaires.
Autres contributions de...
- Association de pilotage des conférences B (Éditeur scientifique)
- Laboratoire d'informatique de Nantes-Atlantique (Éditeur scientifique)
- Henri Habrias (Directeur de publication)
- Christian Attiogbé (Directeur de publication)
-
Informatique et libertés, nouvelles menaces, no...Centre de coordination pour la recherche et l'e...IUT de Nantes
-
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
-
Pierre Abélard, Colloque international de NantesJean Jolivet, Henri HabriasPresses universitaires de Rennes24,00
-
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