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