TY  - BOOK
AU  - Фомин, В. В.
TI  - Автоматизация логического моделирования программного обеспечения с применением формального аппарата семиотических систем
SN  - 5-283-04740-7
PY  - 2000///
CY  - СПб.
PB  - Энергоатомиздат. С.-Петерб. отд-ние
KW  - Логическое программирование(компьют.)
KW  - nlr-sh1
KW  - RU\NLR\auth\661263868
KW  - Компьютеры
KW  - Проектирование
KW  - Автоматизация
KW  - RU\NLR\auth\661259127
KW  - Компьютеры персональные - Программное обеспечение - Проектирование
KW  - Автоматизированные системы проектирования
KW  - 004.4'22:510.6
KW  - 3
KW  - rus
KW  - 50
KW  - rugasnti
KW  - 32.973.26-018
KW  - rubbk
KW  - З973.23-02-5-05
N2  - Библиогр.: с. 242-248
ER  -