- EAN13
- 9782906082250
- ISBN
- 978-2-906082-25-0
- Éditeur
- Institut de recherches en informatique de Nantes
- Date de publication
- 1996
- Langue
- anglais
- Fiches UNIMARC
- S'identifier
1st Conference on the B method
8th International conference on Putting into practice methods and tools for information system design
De Conférence internationale B
Édité par Henri Habrias, Institut de recherche en informatique
Institut de recherches en informatique de Nantes
S'identifier pour envoyer des commentaires.
Autres contributions de...
-
Extraction et gestion des connaissances, [communications de la Conférence] EGC'2001, [École polytechnique de l'Université de Nantes, 17-19 janvier 2001]Journées francophones d'extraction et de gestion des connaissancesHermès science publications
-
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
-
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
-
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