The Way of Z: Practical Programming with Formal Methods
Jonathan, Jacky.,
The Way of Z: Practical Programming with Formal Methods Jonathan, Jacky - New York: Cmbridge University Press, c1997. - xviii, 350 p.: ill.;
This book is having bibliography328-339 from page
0521559766
005.12 / JAC/WAY
The Way of Z: Practical Programming with Formal Methods Jonathan, Jacky - New York: Cmbridge University Press, c1997. - xviii, 350 p.: ill.;
This book is having bibliography328-339 from page
0521559766
005.12 / JAC/WAY