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

 -  McGRAW HILL COMPNIES INC., NEW YORK  1995 
 - 398 
<br/><br/><label>ISBN: </label>9780077079079 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science & Eng.
<br/><br/><label>Dewey Class. No.: </label> / SHE