База данных переводных книг

Не является библиотекой. Полнотекстовый доступ к изданиям не предоставляется.

Деметрович, Я., Кнут, Е., Радо, П. Автоматизированные методы спецификации. Пер. с англ. Л. Шабанова. – М.: Мир, 1989. – 120 c. Demetrovics J., Knuth E., Rado P. Computer-aided specification techniques. Hackensack, NJ: World Scientific Publ. Co., 1986. 128 p. (Russ. ed.: Demetrovics, J., Knuth, E., Rado, P. Avtomatizirovannye metody spetsifikatsii. Moscow: Mir Publ., 1989. 120 p.).
Авторы: Деметрович, Я., Кнут, Е., Радо, П. / Demetrovics J., Knuth E., Rado P.
Год издания: 1989
Издательство: Мир
Место издания: М.
Перевод с англ.