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

Книга
УДК 512 Н134

Набебин, А. А.
Алгебраическая спецификация программных систем / А. А. Набебин, А. С. Тарасиков, Моск. энерг. ин-т (МЭИ), Гос. ун-т - Высшая школа экономики . – М. : ИНЭК, 2012 . – 83 с. - ISBN 978-5-905675-04-1 .

512 Н134

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

1077742 Кх
1077743 Кх
1077744 Кх
1077745 Кх