Formal development of programs and proofs

Библиографические подробности
Другие авторы:	Dijkstra, Edsger Wybe
Формат:	‌
Язык:	английский
Опубликовано:	Reading, Mass. Addison-Wesley c1990.
Предметы:	Electronic digital computers > Programming > Congresses.