Шаблон:PSL TOC — различия между версиями
Материал из Wiki
ANA (обсуждение | вклад) м |
ANA (обсуждение | вклад) м |
||
| Строка 1: | Строка 1: | ||
| − | <div style="float:right; clear:right; margin:5px 5px 5px 15px; border:1px solid #9d9; background:#f6ffe9; padding:5px; width: | + | <div style="float:right; clear:right; margin:5px 5px 5px 15px; border:1px solid #9d9; background:#f6ffe9; padding:5px; width:22em;"> |
<div style="background:#e6f7da; padding:5px 10px; text-align:center; font-weight:bold; {{border-radius|8px}}">[[PSL]]</div> | <div style="background:#e6f7da; padding:5px 10px; text-align:center; font-weight:bold; {{border-radius|8px}}">[[PSL]]</div> | ||
* [[The Designer's Guide To PSL]] ([[The Designer's Guide To PSL/ru|ru]]) | * [[The Designer's Guide To PSL]] ([[The Designer's Guide To PSL/ru|ru]]) | ||
| Строка 9: | Строка 9: | ||
* [[PSL/Литература|Литература]] | * [[PSL/Литература|Литература]] | ||
* [[PSL/IEEE Standard 1850-2010 for Property Specification Language (PSL)|IEEE Std 1850-2010]] | * [[PSL/IEEE Standard 1850-2010 for Property Specification Language (PSL)|IEEE Std 1850-2010]] | ||
| + | |||
| + | <div style="background:#e6f7da; padding:5px 10px; text-align:center; font-weight:bold; {{border-radius|8px}}">Введение в PSL</div> | ||
| + | |||
| + | * [[PSL/A Practical Introduction to PSL/Introduction/ru|Introduction]] ([[PSL/A Practical Introduction to PSL/Introduction|en]]) | ||
| + | <!-- | ||
| + | * [[PSL/A Practical Introduction to PSL/Basic Temporal Properties/ru|Basic Temporal Properties]] ([[PSL/A Practical Introduction to PSL/Basic Temporal Properties|en]]) | ||
| + | * [[PSL/A Practical Introduction to PSL/Some Philosophy/ru|Some Philosophy]] ([[PSL/A Practical Introduction to PSL/Some Philosophy|en]]) | ||
| + | * [[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators/ru|Weak vs. Strong Temporal Operators]] ([[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators|en]]) | ||
| + | * [[PSL/A Practical Introduction to PSL/SERE Style/ru|SERE Style]] ([[PSL/A Practical Introduction to PSL/SERE Style|en]]) | ||
| + | * [[PSL/A Practical Introduction to PSL/Clocks/ru|Clocks]] ([[PSL/A Practical Introduction to PSL/Clocks|en]]) | ||
| + | --> | ||
<hr style="margin:8px 16px"> | <hr style="margin:8px 16px"> | ||
Версия 23:39, 9 октября 2013
Литература
Введение в PSL
