- EAN13
- 9782951246126
- ISBN
- 978-2-9512461-2-6
- Éditeur
- APCB
- Date de publication
- 2008
- Code dewey
- 005.12
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...
-
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-Atlantique
-
-
-
ZB 2002, Grenoble, France, [January 23-25, 2002], 4th International B conference [and the 13 International Z user meeting]International Z and B conference
-
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 techniques