Jacky, Jonathan <br/><br/>
The way of Z: practical programming with formal methods 
Jonathan Jacky 
 - Cambridge  Cambridge University press  1997 
 - xviii, 350p. 
<br/><br/><label>ISBN: </label>9 780521 559768 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language)
<br/><br/><label>Dewey Class. No.: </label>004.43 JAC