Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
Décrit le programme de maîtrise en sciences informatiques et ingénierie à l'EPFL, détaillant sa structure, son programme d'études et ses possibilités de carrière pour les diplômés.
Explique les différences entre les pointeurs et les références en programmation, en se concentrant sur leurs définitions, leurs utilisations et leurs limites en C et C ++.
Décrit le Master en sciences informatiques et ingénierie à l'EPFL, détaillant sa structure, ses critères d'admission et ses opportunités de carrière pour les diplômés.
Présente la programmation LabVIEW, couvrant la gestion de la mémoire, les types de données et les concepts de programmation parallèle, avec des démonstrations pratiques.
