Hußmann, Heinrich <br/><br/>
Formal foundations for software engineering methods 

 - Berlín :   Springer,  c1997 
 - x, 286 p. :  il.  ;  23 cm. 
 - Lecture notes in computer science ; 1322 .
<br/><br/> Incluye bibliografía. 
<br/><br/><label>ISBN: </label>3540636137 
<br/><br/><label>Standard No.: </label>DIF-M481 
<br/><br/><label>Subjects--Topical Terms: </label><br/>INGENIERÍA DE SOFTWARE<br/>METODOLOGÍAS<br/>REQUERIMIENTOS/ESPECIFICACIONES