Formal development of programs and proofs

Bibliographische Detailangaben
Weitere Verfasser:	Dijkstra, Edsger Wybe
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Reading, Mass. Addison-Wesley c1990.
Schlagworte:	Electronic digital computers > Programming > Congresses.