Livres — static analysis

EN
Guide de vérification logicielle avec Frama-C : composants de base, utilisations et applications

Guide de vérification logicielle avec Frama-C : composants de base, utilisations et applications

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

Langages de programmation
EN
C++23: meilleures pratiques

C++23: meilleures pratiques

A

Jason Turner

Langages de programmation
RU
100 erreurs Java et comment les éviter

100 erreurs Java et comment les éviter

A

Тагир Валеев

Langages de programmation
RU
Conseils nuisibles pour les programmeurs C++

Conseils nuisibles pour les programmeurs C++

A

Андрей Карпов

Langages de programmation
EN
100 Erreurs en Java et Comment les Éviter

100 Erreurs en Java et Comment les Éviter

A

Tagir Valeev

Langages de programmation
EN
Ingénierie Inverse des Applications Mobiles : Découvrez, analysez et explorez les rouages internes des applications Android et iOS

Ingénierie Inverse des Applications Mobiles : Découvrez, analysez et explorez les rouages internes des applications Android et iOS

A

Abhinav Mishra

Cybersécurité