Методы верификации программ Миронов А. М. Информатика Бакалавриат Специалитет 2023 • 336 стр. • 139.4 MB 6 0