Way Of Z Practical Programming With Formal Methods
Download Way Of Z Practical Programming With Formal Methods PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Way Of Z Practical Programming With Formal Methods book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
The Way of Z
Author: Jonathan Jacky
language: en
Publisher: Cambridge University Press
Release Date: 1997
A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.
ZUM'97: The Z Formal Specification Notation
Author: Jonathan P. Bowen
language: en
Publisher: Springer Science & Business Media
Release Date: 1997-03-20
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.