File:ArtExhibitionCatalog20080811bSQR.jpg

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search

ArtExhibitionCatalog20080811bSQR.jpg (355 × 355 pixels, file size: 17 KB, MIME type: image/jpeg)

Captions

Captions

Add a one-line explanation of what this file represents

Summary

[edit]
Description Screen shot of the Alloy Analyzer
Date
Source Alloy Analyzer 4.1.8 (build date: 2008/08/07 16:29 EDT)
Author Mihal Orela
Permission
(Reusing this file)

This screenshot either does not contain copyright-eligible parts or visuals of copyrighted software, or the author has released it under a free license (which should be indicated beneath this notice), and as such follows the licensing guidelines for screenshots of Wikimedia Commons. You may use it freely according to its particular license. Free software license:

This file is licensed under the Expat License, sometimes known as the MIT License:

Copyright © Felix Chang

Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.

The Software is provided "as is", without warranty of any kind, express or implied, including but not limited to the warranties of merchantability, fitness for a particular purpose and noninfringement. In no event shall the authors or copyright holders be liable for any claim, damages or other liability, whether in an action of contract, tort or otherwise, arising from, out of or in connection with the Software or the use or other dealings in the Software.


To uploader: MIT License has various versions, you may want to specify the license more precisely. Click {{MIT}} to see details.

Note: if the screenshot shows any work that is not a direct result of the program code itself, such as a text or graphics that are not part of the program, the license for that work must be indicated separately.


Licensing

[edit]
w:en:Creative Commons
attribution
This file is licensed under the Creative Commons Attribution 3.0 Unported license.
You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.

File history

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

Date/TimeThumbnailDimensionsUserComment
current09:39, 16 August 2008Thumbnail for version as of 09:39, 16 August 2008355 × 355 (17 KB)MihalOrela (talk | contribs){{Information |Description=Problem of cycling identities solved. |Source=Alloy Analyzer 4.1.8 (build date: 2008/08/07 16:29 EDT) |Date=2008-08-16 |Author=Mihal Orela |Permission={{free screenshot|license={{MIT|Felix Chang}}}} |other_versions= }} [[Categor
19:13, 11 August 2008Thumbnail for version as of 19:13, 11 August 2008480 × 480 (80 KB)MihalOrela (talk | contribs){{Information |Description=Screen shot of the Alloy Analyzer |Source= |Date=2008-08-11 |Author=Mihal Orela |Permission={{free screenshot|license={{MIT|Daniel Jackson}}}} |other_versions= }} Category:Visualization Category:Formal methods <!--{{Imag

There are no pages that use this file.

File usage on other wikis

The following other wikis use this file:

Metadata