Исходное сообщение
"Компания Microsoft выпустила версию TLA Toolbox для Linux " Отправлено pavlinux, 22-Янв-10 23:01
У амерекосского бизнеса есть закон - Надо создать проблему, что бы продавать товар её решающий. (собственно, этот закон они тоже спиз...ли у Макиавелли, тот у Тита Ливия) Until ( !x ) {        Future (x) {               Next( x ) {                 All (x++);               } }   } тоже самое while ( !x ) { /* Until */       if ( ++x )  { /* Future */                    if (x++) { /* Next */                   do {                       ....                                    } while (x++ ) /* All */         }     } } Ну и накой хрен эта темпоральная логика... Назад к ПРОЛОГУ и компьютеру Минск с троичной системой...