Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Quick and Easy Sign Up!

It takes less then 1 minute to sign up, then you can enjoy Unlimited eBooks.

Sign Up Browse

Popular Genres

Read Anywhere and on Any Device!

  • Download on iOS
  • Download on Android
  • Download on iOS

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

Jonathan P. Bowen
5/5 ( ratings)
Read Download
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.
Language
English
Pages
583
Format
Paperback
Publisher
Springer
Release
August 23, 1995
ISBN
3540602712
ISBN 13
9783540602712

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

Jonathan P. Bowen
5/5 ( ratings)
Read Download
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.
Language
English
Pages
583
Format
Paperback
Publisher
Springer
Release
August 23, 1995
ISBN
3540602712
ISBN 13
9783540602712

More books from Jonathan P. Bowen

EVA London 2011: Electronic Visualisation and the Arts

5/5 ( ratings)

Zb 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

5/5 ( ratings)

Abstract State Machines, B and Z

5/5 ( ratings)

Electronic Visualisation in Arts and Culture (Springer Series on Cultural Computing)

4/5 ( ratings)

Z User Workshop, London 1992: Proceedings Of The Seventh Annual Z User Meeting, London, 14 15 December 1992

4/5 ( ratings)

EVA London 2018: Electronic Visualisation and the Arts

4/5 ( ratings)

EVA London 2017: Electronic Visualisation and the Arts

4/5 ( ratings)

EVA London 2014: Electronic Visualisation and the Arts

4/5 ( ratings)

EVA London 2020: Electronic Visualisation and the Arts

4/5 ( ratings)

Unifying Theories of Programming: 6th International Symposium, Utp 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

4/5 ( ratings)

Formal Methods: State of the Art and New Directions

4/5 ( ratings)

Formal Methods: State of the Art and New Directions

4/5 ( ratings)

Museums and Digital Culture: New Perspectives and Research (Springer Series on Cultural Computing)

4/5 ( ratings)

Museums and Digital Culture: New Perspectives and Research (Springer Series on Cultural Computing)

4/5 ( ratings)

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures (Lecture Notes in Computer Science Book 12154)

4/5 ( ratings)

Rate this book!

Write a review?

loader