Join Literal
The Way of Z
The Way of ZJonathan Jacky
Sign up to use
Jonathan Jacky
The Way of Z

The Way of Z Practical Programming with Formal Methods

Jonathan Jacky
Sign up to use
Sign up to use
A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.
Discover more books like The Way of Z