FA
Chaîne
Public
Groupe
Public
Méthodes Formelles de Vérification des Logiciels en Pratique
👥 586
👁️ 32
RU
RU
Nom d’origine:
Формальные методы верификации ПО на практике
La langue principale du contenu est
Russian
Discussion des sujets liés à l'utilisation pratique des méthodes formelles dans la vérification et la spécification des logiciels.
Obtenir le lien du groupe
Le lien s’ouvrira dans Telegram.
#Doctorat
