000			01346nam a2200265 c 4500
001			000003779
003			RuMoIPM
005			20220507230318.0
008			110817s2011 ru a||p|||||||||||||rus d
020			_a978-5-02-038160-5
035			_a(RuMoIPM Bibliobus) 003993
040			_aRuMoIPM _brus _ercr
080			_a004.415.5
245	0	0	_aВерификация автоматных программ _cВельдер Сергей Эдуардович [и др.]; С.-Петерб. гос. ун-т информ. технологий, механики и оптики
260			_aСанкт-Петербург _bНаука _c2011
300			_a242 с. _bил.
504			_aБиблиогр.: с. 231-239.
504			_aАлф. указ.: с. 240-242
700	0		_aВельдер, Сергей Эдуардович
700	0		_aЛукин, М. А.
700	0		_aШалыто, А. А.
700	0		_aЯминов, Б. Р.
887			_aВерификация автоматных программ / Вельдер Сергей Эдуардович [и др.]; С.-Петерб. гос. ун-т информ. технологий, механики и оптики. — СПб. : Наука, 2011. — 242 с. : ил. — Библиогр.: с. 231-239. Алф. указ.: с. 240-242. — ISBN 978-5-02-038160-5. _2Bibliobus
942			_cBK
999			_c3779 _d3779