ZUM'97: The Z Formal Specification Notation PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download ZUM'97: The Z Formal Specification Notation PDF full book. Access full book title ZUM'97: The Z Formal Specification Notation by Jonathan P. Bowen. Download full books in PDF and EPUB format.

ZUM'97: The Z Formal Specification Notation

ZUM'97: The Z Formal Specification Notation PDF Author: Jonathan P. Bowen
Publisher: Springer Science & Business Media
ISBN: 9783540627173
Category : Computers
Languages : en
Pages : 452

Get Book

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.