Книги / тег / статический анализ

Книги по тегу #статический анализ

всего · 3
EN
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

Языки программирования
RU
100 ошибок Java и как их избежать

100 ошибок Java и как их избежать

A

Тагир Валеев

Языки программирования
EN
100 Java Mistakes and How to Avoid Them

100 Java Mistakes and How to Avoid Them

A

Tagir Valeev

Языки программирования