ZB 2003: Formal Specification and Development in Z and BDidier Bert, Jonathan P. Bowen, Steve King, Marina WaldénHäftad1 095 kr
ZB 2000: Formal Specification and Development in Z and BJonathan P. Bowen, Steve Dunne, Andy Galloway, Steve KingHäftad551 kr