&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Верификация автоматных программ / Вельдер Сергей Эдуардович [и др.]; С.-Петерб. гос. ун-т информ. технологий, механики и оптики. &mdash; Санкт-Петербург : Наука, 2011. &mdash; 242 с. : ил. &mdash; ISBN 978-5-02-038160-5.<br><br> Библиогр.: с. 231-239. <br> Алф. указ.: с. 240-242.<br><br>Вельдер, Сергей Эдуардович<br>Лукин, М. А.<br>Шалыто, А. А.<br>Яминов, Б. Р.<br><br>УДК: 004.415.5 <br><br>[ SYS NUM: 3779 ]