Sin autor <br/><br/>
Logic of computation 

 - 1st ed. 
 - Berlín :   Springer,  c1997 
 - vi, 394 p.  ;  24 cm. 
 - NATO ASI series. Series F, Computer and systems sciences   157 .
<br/><br/> Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995 -en rev. de portada. 
<br/><br/><label>ISBN: </label>3540629637 
<br/><br/><label>Standard No.: </label>DIF000830 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LÓGICA COMPUTACIONAL<br/>REQUERIMIENTOS/ESPECIFICACIONES