The Way of Z Practical Programming with Formal Methods
Jacky, Jonathan
The Way of Z Practical Programming with Formal Methods - Cambridge : Cambridge University Press, c1997 - XVIII, 350 p. : ill
Includes Bibliographical References and Index
0521559766
Z Computer Program Language
005.12 / JAC
The Way of Z Practical Programming with Formal Methods - Cambridge : Cambridge University Press, c1997 - XVIII, 350 p. : ill
Includes Bibliographical References and Index
0521559766
Z Computer Program Language
005.12 / JAC