Диссертация, - 480 руб., доставка 1-3 часа, с 10-19 (Московское время), кроме воскресенья
Автореферат - бесплатно, доставка 10 минут, круглосуточно, без выходных и праздников
Найдич, Дмитрий Эдуардович. Модели, исчисления и методы доведения индуктивных утверждений для эквациональных спецификаций с частичными функциями : автореферат дис. ... кандидата физико-математических наук : 01.01.09.- Киев, 1992.- 18 с.: ил.
