ZUM '95: The Z Formal Specification Notation

ZUM '95: The Z Formal Specification Notation

9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

by Jonathan P. Bowen, International Conference of Z Users (9 : 1995 : Limerick)

569 pages· 1995· ISBN 9783540602712
Join Readfeed freeFind clubs reading this
Rate this book:

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.

Discuss ZUM '95: The Z Formal Specification Notation with other readers

Join or start a book club for ZUM '95: The Z Formal Specification Notation on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for ZUM '95: The Z Formal Specification Notation?

Sign up free on Readfeed, then browse public clubs or start your own club with ZUM '95: The Z Formal Specification Notation as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss ZUM '95: The Z Formal Specification Notation with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about ZUM '95: The Z Formal Specification Notation with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.