E. Börger <br/><br/>
Specification And Validation Methods 
/E. Börger 
 - , new york,  Clarendon ; oxford university press, oxford   1995 
 - 460 pages :   illustrations ;   24 cm. 
<br/><br/>Includes index 
<br/><br/> Combining an advanced introduction with notes on the development of new methods, this monograph elaborates on a number of applications which span software and hardware design. 
<br/><br/><label>ISBN: </label>9780198538547 
<br/><br/><label>Subjects--Topical Terms: </label><br/> computerarchitektur computers mathematical logic langages de programmation logiciels essais
<br/><br/><label>Dewey Class. No.: </label>004.015  / BOR