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 ...
Read More
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.
Read Less
Add this copy of Zum '95: the Z Formal Specification Notation: 9th to cart. $23.84, very good condition, Sold by GuthrieBooks rated 5.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 1995 by Springer.
Add this copy of Zum '95: the Z Formal Specification Notation: 9th to cart. $50.00, good condition, Sold by GeorgeCrossBooks rated 5.0 out of 5 stars, ships from Lexington, MA, UNITED STATES, published 1995 by Springer-Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good/Wraps. Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 967 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.
Add this copy of Zum '95: the Z Formal Specification Notation: 9th to cart. $59.16, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1995 by Springer.
Add this copy of Zum '95: The Z Formal Specification Notation: 9th to cart. $103.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1995 by Springer.
