Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1 ressource
section 1 sur 1
résultats 1 à 1
UNIT
Les jeux à la rescousse de la vérification  Droits d'accès : non autorisé
Description : Les bugs informatiques peuvent parfois avoir des conséquences dramatiques, que ce soit sur le plan humain ou financier... Alors comment s'assurer que les logiciels font bien ce qu'ils sont censés faire ? C'est là qu'interviennent les méthodes formelles, une approche mathématique qui permet de prouve ...
Date : 07-09-2023
 Description complète
Les jeux à la rescousse de la vérification
Accéder au document 
Droits d'accès : non autorisé