Карпов Ю.Г. Теория автоматов / Ю. Г. Карпов, 2002. - 206 с. - Текст : непосредственный.
Карпов Ю.Г. Model checking. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов, 2010. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.
Законы механики и молекулярной физики в физическом эксперименте : учеб. пособие / В. Б. Демин [и др.], 2013. - 160 с. - Текст : непосредственный.
Шошмина И.В. Введение в язык PROMELA и систему комплексной верификации SPIN : учеб. пособие / И. В. Шошмина, Ю. Г. Карпов, 2010. - 111 с. - Текст : непосредственный.
Карпов Ю.Г. Model checking. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов, 2010. - 551 с. - Текст : непосредственный.
Карпов Ю.Г. Электричество и магнетизм : учеб. пособие / Ю. Г. Карпов, А. Н. Филанович, А. А. Повзнер, 2013. - 163 с. - Текст : непосредственный.
Карпов Ю.Г. Автоматы и формальные языки : сб. задач / Ю. Г. Карпов, 2015. - 84 с. - Текст : непосредственный.
Законы механики и молекулярной физики в физическом эксперименте : учеб. пособие / В. Б. Демин [и др.], 2015. - 160 с. - Текст : непосредственный.
Карпов Ю.Г. Верификация распределенных систем : учеб. пособие / Ю. Г. Карпов, И. В. Шошмина, 2011. - 211 с. - Текст : непосредственный.
Карпов Ю.Г. Технология программирования. Верификация параллельных и распределенных программных систем : учеб. пособие / Ю. Г. Карпов, 2010. - 119 с. - Текст : непосредственный.
Карпов Ю.Г. Электричество и магнетизм : учеб. пособие / Ю. Г. Карпов, А. Н. Филанович, А. А. Повзнер, 2015. - 163 с. - Текст : непосредственный.
Карпов Ю.Г. Теория и технология программирования. Основы построения трансляторов : Учеб. пособие / Ю.Г. Карпов, 2005. - 270 с. - Текст : непосредственный.
Приложение
для Android