Fichier:PVS_screenshot.gif
De Wikipedia, l'encyclopédie encyclopedia
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)
Ce fichier et sa description proviennent de Wikimedia Commons.
Description
DescriptionPVS screenshot.gif |
English: Screenshot of the PVS prover, from a 2003 master's thesis. |
|||
Date | ||||
Source |
|
|||
Auteur | Ubhayakar, Sonali S. |
Conditions d’utilisation
(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 à 15:38 | 692 × 690 (71 kio) | Jochen Burghardt | 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 |
Utilisation du fichier
La page suivante utilise ce fichier :
Usage global du fichier
Les autres wikis suivants utilisent ce fichier :
- Utilisation sur en.wikipedia.org
Ce document provient de « https://fr.wikipedia.org/wiki/Fichier:PVS_screenshot.gif ».