«Бог не меняет того, что (происходит) с людьми, пока они сами не изменят своих помыслов.» Коран, Сура 12:13

Просмотреть сайт

Перейти к: навигация, поиск
PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators
Категории PSL  +
Дата последней правкиЭто свойство является специальным для данного сайта. 30 декабря 2013 19:37:21  +
скрыть свойства, ссылающиеся сюда 
  Нет свойств, ссылающихся на эту страницу.
 

 

Введите имя страницы для начала просмотра.
Источник — «http://www.simhard.com/wiki/index.php/Служебная:Browse/PSL-2FA-20Practical-20Introduction-20to-20PSL-2FWeak-20vs.-20Strong-20Temporal-20Operators»