Acronyms von A bis Z
FDPP
Formal Development of Programs and Proofs, Edsger W. Dijkstra (Ed.), Addison-Wesley, 1990 (informationswissenschaftl. Veröffentlichungen)
Formal Development of Programs and Proofs, Edsger W. Dijkstra (Ed.), Addison-Wesley, 1990 (informationswissenschaftl. Veröffentlichungen)