File:Principles of Model Checking.jpg

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