Raamatud, mis on sarnased «Сертификация программного обеспечения. Статический анализ программного кода», Л. С. Куликов