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

 - United Kingdon   Addison Wesley Publishing 
 -  Soft Binding 
<br/><br/> Faculty, students and Staff 
<br/><br/><label>ISBN: </label>201627574 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science--Software Engineering
<br/><br/><label>Dewey Class. No.: </label>005.12 WOR  / WOR