Opening book details…
About this scholarly article
The Way of Z (Practical Programming with Formal Methods) by Jacky, Jonathan is a scholarly article available to read on EtoBox.
- Author
- Jacky, Jonathan
- Publisher
- Cambridge University Press (Virtual Publishing)
- Published
- 1996
- Language
- EN
- ISBN
- 9780521559768