Virgile Prevosto
Articles populaires de Virgile Prevosto
Afficher toutes les offres-
Guide to Software Verification With Frama-c: Core Components, Usages, and Applications
Prix des articles à partir de
Afficher les 9 offresEUR 46,22
Rechercher également
Neuf -
Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
Prix des articles à partir de
Afficher les 18 offresEUR 46,22
-
Guide to Software Verification With Frama-c: Core Components, Usages, and Applications
Prix des articles à partir de
Afficher les 16 offresEUR 79,55
