A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.
Title | : | The Way of Z |
Author | : | Jonathan Jacky |
Publisher | : | Cambridge University Press - 1997 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works: