Sheppard, Deri. <br/><br/>
(An) introduction to formal specification with Z and VDM / 
Deri Sheppard. 
 -  McGraw-Hill  1995. 
<br/><br/>8750 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Z (Computer program language).<br/>Computer software - Development.
<br/><br/><label>LC Class. No.: </label>QA76.73  / Z2She.