BOTTACI, Leonardo Jones, John <br/><br/>
Formal specification using z: a modelling approach / 
[by] Leonardo Bottaci, John Jones 
 - London  Internatonal Thomson pub.  1995 
 - xii, 320 p. 
<br/><br/> Includes bibliography & appendix. 
<br/><br/><label>ISBN: </label>1850321094 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Algorithms
<br/><br/><label>Dewey Class. No.: </label>518.1  / BOT