Méthode formelle (informatique)
Méthode formelle (informatique) est une carte à collectionner dans WikiMasters, de rareté super rare. Ses caractéristiques sont partagées par tous les exemplaires de sa version normale.
Caractéristiques de la carte
- Rareté
- Super rare
- Attaque
- 2 513
- Défense
- 5 025
L’attaque et la défense sont des valeurs du jeu, indépendantes des qualités du sujet représenté.
À propos de Méthode formelle (informatique)
Lire sur WikipédiaEn informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet). Ces méthodes permettent d'obtenir
Extrait de Wikipédia en français, éventuellement abrégé. Texte sous licence CC BY-SA 4.0.
Comment obtenir cette carte ?
Les packs contiennent cinq cartes sélectionnées aléatoirement dans le catalogue. Aucun pack ne garantit cette page précise. Tu peux aussi rechercher cette carte au marché des joueurs ou proposer un échange à un ami.
Les cartes super rares représentent 7 % du catalogue. Ce pourcentage concerne la rareté entière, pas cette carte seule.
Historique du marché
Aucune vente conclue pour la version normale de cette carte. Les WikiCoins sont la monnaie virtuelle du jeu.