Ficheiro:Ltlevently.png

Fonte: testwiki
Saltar para a navegação Saltar para a pesquisa
Ltlevently.png (202 × 45 píxeis, tamanho: 872 byte, tipo MIME: image/png)

Este ficheiro vem da wiki na wiki Wikimedia Commons e pode ser usado por outros projetos. A descrição na página original de descrição do ficheiro é mostrada abaixo.

Descrição do ficheiro

Descrição Example diagram of LTL eventually operator
Data
Origem Obra do próprio
Autor Juan Antonio Navarro Perez

Licenciamento

Public domain Eu, titular dos direitos de autor desta obra, dedico-a ao domínio público, com aplicação em todo o mundo.
Nalguns países isto pode não ser legalmente possível; se assim for:
Concedo a todos o direito de usar esta obra para qualquer fim, sem quaisquer condições, a menos que tais condições sejam impostas por lei.

Legendas

Adicione uma explicação de uma linha do que este ficheiro representa

Elementos retratados neste ficheiro

retrata

criador

Um valor sem um elemento no repositório Wikidata

nome do autor: Juan Antonio Navarro Perez
URL: https://commons.wikimedia.org/wiki/user:NavarroJ
nome de usuário(a) na Wikimedia: NavarroJ

Histórico do ficheiro

Clique uma data e hora para ver o ficheiro tal como ele se encontrava nessa altura.

Data e horaMiniaturaDimensõesUtilizadorComentário
atual14h16min de 14 de novembro de 2006Miniatura da versão das 14h16min de 14 de novembro de 2006202 × 45 (872 byte)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

A seguinte página usa este ficheiro:

Obtida de "https://pt.wiki.beta.math.wmflabs.org/wiki/Ficheiro:Ltlevently.png"