Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
ZUM 95: The Z Formal Specification Notation : 9th International Conference of Z Users
LimerickIrelandSeptember 7 - 91995. Proceedings
SR 643
Inclusive of VAT
SR39Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR643
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
About this Product
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.
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.
Report an issue with this product.
