004 M 282 Manna, Zohar. The Logical basis for computer programming [Text] : deductive systems. Vol. 2 / Z. Manna, R. Waldinger. - Massachusetts ; New York : Addison Wesley Publishing Company, 1990. - 642 p. - Текст англ. - ISBN 0-201-18261-0 : Б. ц.
Рубрики: Комп'ютерні технології--Програмування Дод.точки доступу: Waldinger, Richard Примірників всього: 1 ВДІМ (1) |