Séances de cours associées à Akka Streams: Systèmes réactifs de programmation

Séances de cours associées (32)

Par l’instructeur Viktor Kuncak explore les activités de vérification formelle, de synthèse de programme et d’enseignement à l’EPFL.

Explore le p-norm informatique en utilisant la programmation parallèle en Scala et son impact sur la performance.