Didier Bert · 3 obras en el catálogoObrasZZB 2003 : Formal Specification and Development in Z and BZB 2003 : Formal Specification and Development in Z and BZZB 2002 : Formal Specification and Development in Z and BZB 2002 : Formal Specification and Development in Z and BÉÉtude d'elements fondamentaux des langages de programmationÉtude d'elements fondamentaux des langages de programmation
ZZB 2003 : Formal Specification and Development in Z and BZB 2003 : Formal Specification and Development in Z and B
ZZB 2002 : Formal Specification and Development in Z and BZB 2002 : Formal Specification and Development in Z and B
ÉÉtude d'elements fondamentaux des langages de programmationÉtude d'elements fondamentaux des langages de programmation