Main ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

, ,
4.0 / 5.0
0 comments

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.


Request Code : ZLIBIO339067
Categories:
Year:
1995
Edition:
1
Publisher:
Springer-Verlag Berlin Heidelberg
Language:
English
Pages:
583
ISBN 10:
3540602712
ISBN 13:
9783540602712
ISBN:
3540602712,9783540602712
Series:
Lecture Notes in Computer Science 967
This book is not available due to the complaint of the copyright holder.

Comments of this book

There are no comments yet.