- EAN13
- 9782906082298
- ISBN
- 978-2-906082-29-8
- Éditeur
- IRIN
- Date de publication
- 1998
- Fiches UNIMARC
- S'identifier
International workshop on Comparing systems specification techniques "What questions are prompted by ones particular method of specification?"
March 26-27, 1998, Nantes, France
De International workshop on comparing systems specification techniques
Édité par Henri Habrias, Christian Attiogbé, Michel Allemand, Institut de recherche en informatique
Irin
S'identifier pour envoyer des commentaires.
Autres contributions de...
- Institut de recherche en informatique (Éditeur scientifique)
- Henri Habrias (Éditeur scientifique)
- Christian Attiogbé (Éditeur scientifique)
-
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
-
1st Conference on the B method, 8th International conference on Putting into practice methods and tools for information system designConférence internationale BInstitut de recherches en informatique de Nantes
-
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