Exercices corrigés en langage Z : les spécifications formelles par l'exemple
محفوظ في:
| المؤلفون الرئيسيون: | André, Pascal, 1967-...., chercheur en informatique, Vailly, Alain (مؤلف) |
|---|---|
| التنسيق: | Livre papier |
| اللغة: | Français |
| منشور في: |
Paris :
Ellipses
DL 2004.
|
| سلاسل: | Technosup. Génie logiciel : les filières technologiques des enseignements supérieurs
|
| الموضوعات: | |
| Autres localisations: | Voir dans le Sudoc |
مواد مشابهة
- ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users Turku, Finland, June 4 6, 2003 : proceedings (Livre numérique)
- ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23 25, 2002 : proceedings (Livre numérique)
- ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29 September 2, 2000 : proceedings (Livre numérique)
- ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings (Livre numérique)
-
Introduction à la spécification
(Livre papier)
Habrias, Henri, 1946-
Masson, 1993

