Автоматизированные методы спецификации / Я. Деметрович, Е. Кнут, П. Радо ; перевод с английского Л. В. Шабанова ; под редакцией Ю. Г. Дадаева

Автор(ы): Деметрович, Янош;
                   Кнут, Элод;
                   Радо, Петер;
                   Дадаев, Юрий Георгиевич;
                   Шабанов, Л. В.Язык документа: Русский ; of original work,Английский.Страна публикации: RU.Издательство: Москва : Мир, 1989Физическая характеристика: 115 с. : табл.ISBN:5-03-000487-4.ББК: 32.973Note(s): Библиография: с. 112—115 (76 назв.).Наименование темы, используемое как предмет: СПЕЦИФИКАЦИЯ | АВТОМАТИЗАЦИЯ | ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ | ФОРМАЛЬНЫЕ МОДЕЛИ
Метки из этой библиотеки: Меток нет.
Зарегистрируйтесь, чтобы добавлять метки.
    средняя оценка: 0.0 (0 голосов)
Тип единицы Местонахождение Состояние
Книги, брошюры Книги, брошюры
Брестская областная библиотека. Отдел хранения основного фонда
Выдается

Заглавие и автор оригинала: Computer-Aided Specification Techniques / J. Demetrovics, E. Knuth, P. Rado

Библиография: с. 112—115 (76 назв.)

20000 экз.

Нет никаких комментариев для этого документа.

Войти в учётную запись для возможности публиковать комментарии.
Языки: