TY  - BOOK
AU  - Набебин, А. А.
AU  - Тарасиков, А. С.
TI  - Алгебраическая спецификация программных систем
SN  - 9785905675041
PY  - 2012///
CY  - Москва
PB  - ООО НВП "ИНЭК"
KW  - Программирование(компьют.)
KW  - Математические основы
KW  - nlr_sh1
KW  - nlr_sh2
KW  - RU\NLR\AUTH\661370489
KW  - Алгебраические структуры
KW  - RU\NLR\AUTH\6628231
KW  - OBJ3, язык программирования
KW  - RU\NLR\AUTH\6601552717
KW  - Универсальные алгебры
KW  - RU\NLR\AUTH\661297721
KW  - Нелинейное программирование
KW  - RU\NLR\AUTH\661331154
KW  - З973.23-018
KW  - В152.7
KW  - В152.6
KW  - В173.2
N2  - Библиогр.: с. 79
ER  -