ZUM'97: The Z Formal Specification Notation

Released on by Jonathan P. Bowen
preview-18

  • ZUM'97: The Z Formal Specification Notation Book Detail

  • Author : Jonathan P. Bowen
  • Release Date : 1997-03-20
  • Publisher : Springer Science & Business Media
  • Genre : Computers
  • Pages : 452
  • ISBN 13 : 9783540627173
  • File Size : 8,8 MB
DOWNLOAD BOOK

ZUM'97: The Z Formal Specification Notation by Jonathan P. Bowen PDF Summary

Book Description: This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.

Disclaimer: www.yourbookbest.com does not own ZUM'97: The Z Formal Specification Notation books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.