Wordsworth, J B <br/><br/>
Software development with Z  a practical approach to formal methods in software engineering / 

 - UK  Addison Wesley Publishing 
 - Soft Binding  xii       334 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>201627574 
<br/><br/><label>Dewey Class. No.: </label>005.12 WOR-S