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