File:PVS screenshot.gif
Une page de Wikimedia Commons, la médiathèque libre.
Aller à la navigation
Aller à la recherche
- Fichier
- Historique du fichier
- Utilisations locales du fichier
- Utilisations du fichier sur d’autres wikis
Taille de cet aperçu : 601 × 599 pixels. Autres résolutions : 241 × 240 pixels | 481 × 480 pixels | 692 × 690 pixels.
Fichier d’origine (692 × 690 pixels, taille du fichier : 71 kio, type MIME : image/gif)
Informations sur le fichier
Données structurées
Légendes
Description[modifier]
DescriptionPVS screenshot.gif |
English: Screenshot of the PVS prover, from a 2003 master's thesis. |
|||
Date | ||||
Source |
|
|||
Auteur | Ubhayakar, Sonali S. |
Conditions d’utilisation[modifier]
(license inherited from source file:)
Public domainPublic domainfalsefalse |
Ce média est dans le domaine public des États-Unis d’Amérique car son auteur est l’administration américaine comme précisé dans le code fédéral au Titre 17, Chapitre 1, Section 105. Pour en savoir plus : droit d’auteur.
Attention : Ceci ne concerne que le travail du Gouvernement Fédéral et pas celui des États, ou d’une autre subdivision géographique ou politique du pays.
|
||
Ce fichier a été identifié comme étant exempt de restrictions connues liées au droit d’auteur, y compris tous les droits connexes et voisins. |
https://creativecommons.org/publicdomain/mark/1.0/PDMCreative Commons Public Domain Mark 1.0falsefalse
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 | 23 octobre 2020 à 13:38 | 692 × 690 (71 kio) | Jochen Burghardt (d | contributions) | Uploaded a work by Ubhayakar, Sonali S. from {{extracted from|File:Evaluation of program specification and verification systems (IA evaluationofprog10945893).pdf|(p.84)}} with UploadWizard |
Vous ne pouvez pas remplacer ce fichier.
Utilisations locales du fichier
Aucune page n’utilise ce fichier.
Utilisations du fichier sur d’autres wikis
Les autres wikis suivants utilisent ce fichier :
- Utilisation sur en.wikipedia.org
- Utilisation sur fr.wikipedia.org
Données structurées
Éléments décrits dans ce fichier
dépeint
Catégories cachées :