Российская национальная библиография

Описание RUSMARC Карточка
Книга

Автоматизация логического моделирования программного обеспечения с применением формального аппарата семиотических систем / В.В. Фомин

Автор: Фомин, Владимир Владимирович -- АвторЯзык: русский.Выходные данные: СПб. : Энергоатомиздат. С.-Петерб. отд-ние, 2000Физическая характеристика: 250 с. : ил. ; 20 см.ISBN: 5-283-04740-7 Библиография: Библиогр.: с. 242-248.Предметная рубрика - Тема: Логическое программирование(компьют.) | Компьютеры -- Проектирование -- Автоматизация Неконтролируемые предметные термины: Компьютеры персональные - Программное обеспечение - Проектирование | Автоматизированные системы проектирования УДК: 004.4'22:510.6, 3, rusДругие классификации: ( rugasnti ) 50 ; ( rubbk ) 32.973.26-018 ; З973.23-02-5-05 Тип экземпляра: Книга
Параметры
    Средний рейтинг: 0.0 (0 голосов)
Экземпляры
Тип экземпляра Текущая библиотека Шифр хранения Кол-во копий Статус Срок возврата Штрих-код
Книга РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж 2000-3/15761 (Просмотр полки(Открывается ниже)) 1511 Доступно 90290
Книга РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж 2000-3/15761 (Просмотр полки(Открывается ниже)) 1511 Доступно 90291

Библиогр.: с. 242-248