Identifiant pérenne de la notice : 164762299
Notice de type
Personne
Contributions à la vérification formelle d'algorithmes arithmétiques / par Martin-Dorel
Erik, 26/09/2012
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial