Présentation de l'auteur Nikolai Kosmatov :

Livres publiés jusqu'à présent par Nikolai Kosmatov :

Guide de vérification des logiciels avec Frama-C : Composants de base, utilisations et applications...
Frama-C est un ensemble d'outils populaires à code...
Guide de vérification des logiciels avec Frama-C : Composants de base, utilisations et applications - Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
<<
1
>>