Martin C. Henson · 3 obras en el catálogoObrasLogics of specification languagesZZB 2002 : Formal Specification and Development in Z and BZB 2002 : Formal Specification and Development in Z and BElements of functional languages
ZZB 2002 : Formal Specification and Development in Z and BZB 2002 : Formal Specification and Development in Z and B