Название: Теоретическая информатика. Доказательство правильности
Автор: Евгения Веретельникова
Издательство: НГТУ
Жанр: Учебная литература
Серия: