RUSSIAN

Верификация автоматных программ: Учебное пособие.

By Шалыто А.А. , Вельдер С.Э. , Лукин М.А. , Яминов Б.Р.

Book information

Publisher
СПбГУ ИТМО
Year
2011
Language
russian
Format
PDF
Filesize
3 MB (2770376 bytes)
Pages
240\245
Time added
2011-04-06 12:16:06

Similar books