"Le digital object identifier (DOI, littéralement « identifiant numérique d'objet ») est un mécanisme d'identification de ressources stable, qui peuvent être des ressources numériques, comme un film, un rapport, des articles scientifiques, ainsi que des personnes ou tout autre type d'objet."

Source : Wikiwand

1 mébioctet (Mio) = 2²⁰ octets = 1 024 Kio = 1 048 576 octets

TLA+ est un langage de spécification formelle développé par Leslie Lamport. Il est utilisé pour la conception, la modélisation, la documentation et la vérification de programmes, en particulier de systèmes concurrents et de systèmes distribués. TLA+ est considéré comme un pseudocode exhaustivement testable, et son utilisation est assimilée à l'élaboration de plans pour les systèmes logiciels ; TLA est un acronyme pour Temporal Logic of Actions (logique temporelle des actions).

Source : traduit de Wikiwand