Элементы анализа программ. Частичные функции на множестве состояний

Podrobná bibliografie
Hlavní autor:	Абрамов С. А. Сергей Александрович
Jazyk:	ruština
Vydáno:	Москва, Наука, 1986
Edice:	Библиотечка программиста
Témata:	Численный анализ программы предикаты преобразования метод Хоора импликация функционалы погрешности анализ
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=281038

Podobné jednotky