Теоретическая информатика. Доказательство правильности: учебное пособие

معرفی کتاب «Теоретическая информатика. Доказательство правильности: учебное пособие» نوشتهٔ Е. Л. Веретельникова; М-во образования и науки Российской Федерации, Новосибирский гос. техн. ун-т, [Фак. автоматики и вычислительной техники]، منتشرشده توسط نشر ЭБС Лань در سال 2016. این کتاب در فرمت pdf، زبان ru ارائه شده است.