The way of Z: practical programming with formal methods
Jacky, Jonathan
The way of Z: practical programming with formal methods Jonathan Jacky - Cambridge Cambridge University press 1997 - xviii, 350p.
9 780521 559768
Z (Computer program language)
004.43 JAC
The way of Z: practical programming with formal methods Jonathan Jacky - Cambridge Cambridge University press 1997 - xviii, 350p.
9 780521 559768
Z (Computer program language)
004.43 JAC