Retour

Spécification et vérification des systèmes distribués - NFP103

Sans niveau spécifique

Type de formation

Formation continue

Domaine de formation

Informatique, télécommunication, internet
Découvrir les établissements
  • Acquérir une connaissance pratique des "bons" patrons de la programmation concurrente (Java)
  • Comprendre les problèmes fondamentaux des systèmes concurrents
  • S'initier à des méthodes et techniques de vérification automatique de ces systèmes (model-checking, logiques temporelles) 

établissements

Conservatoire national des arts et métiers - centre régional de Bretagne

 Brest (29)
 Session en cours (contactez l’organisme de formation)
Possible en distanciel
En savoir plus

Conservatoire national des arts et métiers - centre régional de Bretagne

 Lannion (22)
 Session en cours (contactez l’organisme de formation)
Possible en distanciel
En savoir plus

Conservatoire national des arts et métiers - centre régional de Bretagne

 Lorient (56)
 Session en cours (contactez l’organisme de formation)
Possible en distanciel
En savoir plus

Conservatoire national des arts et métiers - centre régional de Bretagne

 Rennes (35)
 Session en cours (contactez l’organisme de formation)
Possible en distanciel
En savoir plus

Conservatoire national des arts et métiers - centre régional de Bretagne

 Ploufragan (22)
 Session en cours (contactez l’organisme de formation)
Possible en distanciel
En savoir plus

Conservatoire national des arts et métiers - centre régional de Bretagne

 Vannes (56)
 Session en cours (contactez l’organisme de formation)
Possible en distanciel
En savoir plus
Trouver un conseiller près de chez vous
Retour en haut de page