"Berg, H.K. ed. al." <br/><br/>
Formal Methods of Progra 

 - New Jersey  Prentice Hall Pub.  1982 
 - "xiv,206" 
<br/><br/><label>ISBN: </label>133288072 
<br/><br/><label>Dewey Class. No.: </label>1  / 6425 F