Présentation de l'auteur B. Berard :

Livres publiés jusqu'à présent par B. Berard :

Vérification des systèmes et des logiciels : Techniques et outils de vérification de modèles -...
Springer Nature
Le model checking est une approche puissante pour...
Vérification des systèmes et des logiciels : Techniques et outils de vérification de modèles - Systems and Software Verification: Model-Checking Techniques and Tools
<<
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)