Диссертация - 480 руб., доставка 10 минут, круглосуточно, без выходных и праздников
Автореферат - бесплатно, доставка 10 минут, круглосуточно, без выходных и праздников
Лукин Михаил Андреевич. Верификация автоматных программ: диссертация ... кандидата технических наук: 05.13.11 / Лукин Михаил Андреевич;[Место защиты: Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики»].- Санкт-Петербург, 2014.- 185 с.
