BERG.H.K <br/><br/>
FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION 

 - New Jersey  Prentice Hall  1982 
 - 24X16 
<br/><br/><label>Dewey Class. No.: </label>621.3819642 B493