Mot clé : terminaison de programme

Ressource
  2016, 05 Mai . Bonne feuille . .

En direct de Binaire: Ce qu’Achille a fait calculer à la Tortue

Dans la rubrique « Il était une fois… ma thèse« , le blog Binaire -grâce à Charlotte Truchet-  accueille Caterina Urban, qui  nous raconte comment ses travaux de thèse lui ont permis de converser avec les célèbres personnages de Lewis Carroll, Achille et la Tortue … pour regarder l’énorme problème de savoir si un programme informatique va bien []