Верификация некоторых функций библиотек ядра Linuxкурсовая работа (Специалист)