Books

Short works

Books : reviews

Susan Stepney, Rosalind Barden, David Cooper, eds.
Object Orientation in Z.
Springer. 1992

(read but not reviewed)

book details

Contents

Peter J. Whysall. Z Expression of Refinable Objects. 1992
Silvio Lemos Meira, Ana L. C. Cavalcanti. MooZ Case Studies. 1992
Gordon A. Rose. Object-Z. 1992
Antonio J. Alencar, Joseph A. Goguen. OOZE. 1992
Kevin C. Lano. Z++. 1992
Elspeth Cusack, G. Hossein Bagherzadeh Rafsanjani. ZEST. 1992
Alan Cameron Wills. Specification in Fresco. 1992

Rosalind Barden, Susan Stepney, David Cooper.
Z in Practice.
Prentice Hall. 1994

(read but not reviewed)

book details