Formal development of programs and proofs ed. Edsger W. Dijkstra

Сохранить в:
Библиографические подробности
Тип документа: Книга
Язык:English
Год издания: Reading, Massachusetts Addison-Wesley Publ. Co. 1990
Рубрика:
Ключевые слова: