Dromey, Geoff <br/><br/>
Program derivation    : the development of programs from specifications  
/ Geoff Dromey. 
 - 1a ed. 
 - Sydney, Australia :   Addison-Wesley Publishing Company,   c1989 
 - xvi, 630 p. :   il. ;   23 cm. 
 - International computer science series. .
<br/><br/>Incluye bibliografía e índice 
<br/><br/><label>ISBN: </label>0201416247 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programación (Computadores)
<br/><br/><label>LC Class. No.: </label>QA76.6   / D76 1989