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

 - U.S.A  Prentice-Hall  1982 
 - xiii-207 
<br/><br/><label>ISBN: </label>133288072 
<br/><br/><label>Dewey Class. No.: </label>1  / 6423 B