DERI SHEPPARD <br/><br/>
AN INTRODUCTION TO FORMAL SPECIFICATION WITH Z AND VDM 

 -  MCGRAW HILL BOOK COMPANY  1994 
 - 398 
<br/><br/><label>ISBN: </label>0077079078 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTER SCIENCE SOFTWARE ENGINEERING 
<br/><br/><label>Dewey Class. No.: </label>005.1015  / DER