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...
Springer Nature
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
>>

© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)