Jones, John <br/><br/>
Formal specification using Z a modelling approach 
Leonardo Bottaci, John Jones 
 - 320pages  illustrations  24 cm. 
<br/><br/>Bibliography: pages 293-294 
<br/><br/><label>ISBN: </label>1850321094 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)<br/>Z (Computer program language)
<br/><br/><label>LC Class. No.: </label>QA76.7  / .B751 1995