Voir le reportage
20210159_0001
© Christian MOREL / IRIF / CNRS Photothèque

Discussion autour d’une technique issue de la théorie des automates, pour la vérification de programme

Référence

20210159_0001

Année de production

2021

Taille maximale

48.51 x 32.34 cm / 300 dpi

Légende

Discussion autour d’une technique issue de la théorie des automates, pour la vérification de programmes informatiques.

Institut(s)

Délégation(s)

Thématiques scientifiques

CNRS Images,

Nous mettons en images les recherches scientifiques pour contribuer à une meilleure compréhension du monde, éveiller la curiosité et susciter l'émerveillement de tous.