Шалыто А.А.

UptoLike

Учебно-методические материалы автора

Верификация автоматных программ. Вельдер С.Э
Просмотреть (PDF)
Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р.
Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. Верификация автоматных программ: Учебное пособие. - СПб.: СПбГУ ИТМО, 2011. - 242 с.