1. Деметрович, Я. Автоматизированные методы спецификации / Я. Деметрович, Е. Кнут, П. Радо ; перевод с английского Л. В. Шабанова ; под редакцией Ю. Г. Дадаева УДК 519.683. — ББК 32.973Издательство: Москва : Мир, 1989Физическая характеристика: 115 с. : табл.

Действия: Заказать Зарегистрируйтесь, чтобы добавлять метки. Добавить в корзину
2. Лисков, Б. Использование абстракций и спецификаций при разработке программ / Б. Лисков, Дж. Гатэг ; перевод с английского С. А. Жигалкина, С. А. Усова, Д. Б. Шехватова. — ББК 32.973.2-018Издательство: Москва : Мир, 1989Физическая характеристика: 424 с. : ил.

Действия: Заказать Добавить в корзину
3. Горохов, В. М. Основы журналистского мастерства : учебник для студентов вузов, обуч. по спец. "Журналистика" / В. М. Горохов. — ББК 76.1Издательство: Москва : Высшая школа, 1989Физическая характеристика: 117, [2] c.

Действия: Заказать Добавить в корзину
4. Захаров, В. Н. Система жанров Достоевского : типология и поэтика / В. Н. Захаров. — ББК 83.3Издательство: Ленинград : Издательство Ленинградского университета, 1985Физическая характеристика: 208 с.

Действия: Заказать Добавить в корзину
5. Агафонов, В. Н. Спецификация программ: понятийные средства и их организация / В. Н. Агафонов ; ответственный редакторы: А. П. Ершов, Б. С. Елепов ; Академия наук СССР, Сибирское отделение, Вычислительный центр ГПНТБ. — ББК 32.973Издательство: Новосибирск : Наука, Сибирское отделение, 1987Физическая характеристика: 237, [3] с. : ил.

Действия: Заказать Добавить в корзину
Языки: