004 F 723 Formal development of Programs and Proofs [Text] / ed. E. W. Dijkstra. - Massachusetts ; New York : Addison Wesley Publishing Company, 1990. - 242 p. - Текст англ. - ISBN 0-201-17237-2 : Б. ц.
Рубрики: Комп'ютерні технології--Програмування Дод.точки доступу: Dijkstra, E. W. \ed.\ Примірників всього: 1 ВДІМ (1) |