PROMELA

Commune · Savoir · langage de modélisation

2PROMELA

Savoir, langage de modélisationC

Érudition. En arrivant : pioche une carte.

1 728

1 445

Pl. 1814864WikiArcana

Cette carte peut sortir de tes packs

10 packs offerts, sans paiement · 1,58 million de cartes

Recevoir mes 10 packs

D'où viennent les stats

Attaque: 1 728
Richesse : 12 déclarations, comparé aux autres cartes du même type.
Défense: 1 445
Rayonnement : 5 sitelinks, comparé aux autres cartes du même type.

Résumé Wikipédia

PROMELA est un langage de spécification de systèmes asynchrones, ce qui en d'autres termes veut dire que ce langage permet la description de systèmes concurrents, comme les protocoles de communication. Il autorise la création dynamique de processus. La communication entre ces différents processus peut se faire en partageant les variables globales ou alors en utilisant des canaux de communication. On peut ainsi simuler des communications synchrones ou asynchrones.

Lire l'article sur Wikipédia

Texte : extrait de l'article Wikipédia « PROMELA », sous licence CC BY-SA 4.0.

Données : Wikidata (CC0).

Signaler cette carte

Finitions

Chaque carte peut sortir d'un pack en plusieurs finitions ; le pourcentage est la chance qu'une carte tirée sorte dans celle-ci. Shiny et Gold renforcent aussi ses stats.

2PROMELA

Savoir, langage de modélisationC

Érudition. En arrivant : pioche une carte.

1 728

1 445

Pl. 1814864WikiArcana

NormaleChance : 87 %

2PROMELA

Savoir, langage de modélisationC

Érudition. En arrivant : pioche une carte.

1 728

1 445