Sin autor <br/><br/>
Mathematical methods in program development 

 - Berlín :  ,  c1997 
 - viii, 528 p. ;  26 cm. 
 - NATO ASI series. Series F, Computer and systems sciences ; 158 .
<br/><br/> "Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30 - August 11, 1996" -en rev. de portada. -- 
<br/><br/>Designing proofs and programs -- Examples of protocol design -- Languages and models for program design -- Programming paradigms -- Mechanical proof assistance. 
<br/><br/><label>ISBN: </label>354063195X 
<br/><br/><label>Standard No.: </label>DIF000207 
<br/><br/><label>Subjects--Topical Terms: </label><br/>MÉTODOS MATEMÁTICOS<br/>DESARROLLO DE SOFTWARE<br/>PROGRAMACIÓN<br/>REQUERIMIENTOS/ESPECIFICACIONES