DAHI, OLE-JOHAN <br/><br/>
VERIFIABLE PROGRAMMING /  
DAHI, OLE-JOHAN 
 - [S.N] :   PRENTICE HALL ،   1992 
 - 269 P 
<br/><br/><label>Subjects--Topical Terms: </label><br/>COMPUTER PROGRM<br/>VERIFICATION
<br/><br/><label>Dewey Class. No.: </label>005.1  / D V