généraliser

TLA + est un langage mathématique de haut niveau, open source, pour la modélisation de programmes et de systèmes informatiques, en particulier les systèmes concurrents et distribués. Il est livré avec des outils pour aider à…
Lire la suite...