Zelkowitz, Marvin V <br/><br/>
Advances in computers  : vol 65 
edited by Marvin V.Zelkowitz 
 - 1st ed 
 - Amsterdam  Elsevier / Academic Press  1997 
 - xiv, 432 p.  28 cm. 
<br/><br/> Includes Index 
<br/><br/><label>ISBN: </label>9780120121656 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science; Artificial Intelligence; Software Model Checking
<br/><br/><label>Dewey Class. No.: </label>004   / ZEL.65