Library Catalogue Plus

APA (7th ed.) Citation

Jacky, J. (1997). The way of Z : practical programming with formal methods / Jonathan Jacky: Practical programming with formal methods. Cambridge University Press.

Chicago Style (17th ed.) Citation

Jacky, Jonathan. The Way of Z : Practical Programming with Formal Methods / Jonathan Jacky: Practical Programming with Formal Methods. Cambridge: Cambridge University Press, 1997.

MLA (9th ed.) Citation

Jacky, Jonathan. The Way of Z : Practical Programming with Formal Methods / Jonathan Jacky: Practical Programming with Formal Methods. Cambridge University Press, 1997.