Didier Bert
Identifiers
- Open LibraryOL10227816A
Top Subjects
- Z (computer program language) (1)
Books by Didier Bert
Total count: 4
-
Étude d'elements fondamentaux des langages de programmationcontrolé de l'ulilisation des objets et primitives d'execution1973-01-01
-
ZB 2003 : Formal Specification and Development in Z and BThird International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, ProceedingsSpringer London, Limited2003-01-01
-
ZB 2002 : Formal Specification and Development in Z and B2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ProceedingsSpringer London, Limited2003-01-01
-
Recent Trends in Algebraic Development Techniques14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected PapersSpringer London, Limited2004-01-01