Formal development of programs and proofs

Detalhes bibliográficos
Outros Autores:	Dijkstra, Edsger Wybe
Formato:	Livro
Idioma:	English
Publicado em:	Reading, Mass. Addison-Wesley c1990.
Assuntos:	Electronic digital computers > Programming > Congresses.