Formal development of programs and proofs / 
Ed. by edsger w. dijkstra 
 - 242 páginas 
 - The ut year of programming series .
<br/><br/><label>ISBN: </label>0201172372 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Procesamiento electrónico de datos--Programacion--Congresos
<br/><br/><label>LC Class. No.: </label>QA76.6  / F67