Электронный каталог

Книга
УДК 512 Н134

Набебин, А. А.
Алгебраические спецификации программных систем = Algebraic specification of software systems / А. А. Набебин, А. С. Тарасиков, Нац. исслед. ин-т "Высшая школа экономики" . – М. : ИНЭК, 2012 . – 81 с. - книга полностью на английском языке . - ISBN 978-5-905675-30-0 .

512 Н134

Тезаурус = ГАСНТИ 27.17
Тезаурус = Математика : алгебра

1077846 Кх
1077847 Кх
1077848 Кх