Formal development of programs and proofs /
Formal development of programs and proofs /
Ed. by edsger w. dijkstra
- 242 páginas
- The ut year of programming series .
0201172372
Procesamiento electrónico de datos--Programacion--Congresos
QA76.6 / F67
0201172372
Procesamiento electrónico de datos--Programacion--Congresos
QA76.6 / F67