Informations pour « Méthode formelle (informatique) »
{{#ifeq:||Un article de Ziki, l'encyclopédie libre.|Une page de Ziki, l'encyclopédie libre.}}
| Titre affiché | Méthode formelle (informatique) |
| Clé de tri par défaut | Méthode formelle (informatique) |
| Taille de la page (en octets) | 15 505 |
| Identifiant dʼespace de noms | 0 |
| Identifiant de la page | 70867 |
| Langue du contenu de la page | fr - français |
| Modèle de contenu de la page | wikicode |
| Indexation par robots | Autorisée |
| Nombre de redirections vers cette page | 0 |
Protection de la page
| Modifier | Autoriser tous les utilisateurs (infini) |
| Renommer | Autoriser tous les utilisateurs (infini) |
Voir le journal des protections pour cette page.
Historique des modifications
| Créateur de la page | >(:Julien:) |
| Date de création de la page | 10 août 2023 à 12:16 |
| Dernier rédacteur | >(:Julien:) |
| Date de la dernière modification | 10 août 2023 à 12:16 |
| Nombre total de modifications | 1 |
| Nombre total d’auteurs distincts | 1 |
| Nombre de modifications récentes (dans les derniers 90 jours) | 0 |
| Nombre d’auteurs distincts récents | 0 |
