File:Principles of Model Checking.jpg

No higher resolution available.

Principles_of_Model_Checking.jpg (274 × 341 pixels, file size: 37 KB, MIME type: image/jpeg)

Summary

Media data and Non-free use rationale
Description	Front cover of Principles of Model Checking (2008), by Christel Baier and Joost-Pieter Katoen.
Author or copyright owner	MIT Press
Source (WP:NFCC#4)	MIT Press
Date of publication	25 April 2008
Use in article (WP:NFCC#7)	Principles of Model Checking
Purpose of use in article (WP:NFCC#8)	to serve as the primary means of visual identification at the top of the article dedicated to the work in question.
Not replaceable with free media because (WP:NFCC#1)	Any derivative work based upon the cover art would be a copyright violation, so creation of a free image is not possible.
Minimal use (WP:NFCC#3)	The file is of low resolution and will be used once only in one article.
Respect for commercial opportunities (WP:NFCC#2)	The use of a low resolution image of a work's cover will not impact the commercial viability of the work.
Fair useFair use of copyrighted material in the context of Principles of Model Checking//en.wikipedia.org/wiki/File:Principles_of_Model_Checking.jpgtrue

Licensing

This image is of book cover(s), and the copyright for it is most likely owned either by the artist who created the cover(s) or the publisher of the book(s). It is believed that the use of low-resolution images of book covers

to illustrate an article discussing the book in question
on the English-language Wikipedia, hosted on servers in the United States by the non-profit Wikimedia Foundation,

qualifies as fair use under the copyright law of the United States. Any other uses of this image, on Wikipedia or elsewhere, might be copyright infringement. See Wikipedia:Non-free content for more information.
Fair use

To the uploader:

Please add a detailed non-free use rationale for each article the image is used in, which must also declare compliance with the other parts of the non-free content criteria, as well as the source of the work and copyright information.
For example non-free use rationales, see Wikipedia:Use rationale examples.
This tag should only be used for book covers.
Please include in your fair use rationale details of the particular edition (publisher, market & year of publication) of the edition you have used, and also acknowledge any cover artist if such artist is acknowledged in that edition's frontmatter. If the book cover is in the public domain (see Wikipedia:Public domain), then use the appropriate public domain tag rather than this one.
Any of the following may be helpful for stating the rationale: Template:Book rationale, Template:Non-free use rationale book cover, or Template:Manga rationale.

To patrollers and administrators: If this image has an appropriate rationale please append |image has rationale=yes as a parameter to the license template.

File history

Click on a date/time to view the file as it appeared at that time.

	Date/Time	Thumbnail	Dimensions	User	Comment
current	00:18, 30 January 2022		274 × 341 (37 KB)	Bilorv (talk \| contribs)	Uploading a piece of non-free cover art using File Upload Wizard

You cannot overwrite this file.

File usage

The following page uses this file:

Principles of Model Checking

Metadata

This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.

If the file has been modified from its original state, some details may not fully reflect the modified file.

JPEG file comment	CREATOR: gd-jpeg v1.0 (using IJG JPEG v80), quality = 90
Orientation	Normal