Fichier:Ltlevently.png
Aller à la navigation
Aller à la recherche
Pas de plus haute résolution disponible.
Ltlevently.png (202 × 45 pixels, taille du fichier : 872 octet, type MIME : image/png)
Description
| Description | Example diagram of LTL eventually operator |
| Date | |
| Source | Travail personnel |
| Auteur | Juan Antonio Navarro Perez |
Conditions d’utilisation
|
Moi, propriétaire des droits d’auteur sur cette œuvre, la place dans le domaine public. Ceci s'applique dans le monde entier. Dans certains pays, ceci peut ne pas être possible ; dans ce cas : J’accorde à toute personne le droit d’utiliser cette œuvre dans n’importe quel but, sans aucune condition, sauf celles requises par la loi. |
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
| Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
|---|---|---|---|---|---|
| actuel | 14 novembre 2006 à 14:16 | | 202 × 45 (872 octet) | wikimediacommons>NavarroJ | {{Information |Description=Example diagram of LTL eventually operator |Source=own work |Date=14 November 2006 |Author=Juan Antonio Navarro Perez |Permission=See below }} Category:Logics |
Utilisation du fichier
La page suivante utilise ce fichier :
