Корпоративное обучение персонала: тренды и лучшие практики московского рынка 
Странные женщины 
Смысловые уровни 
Кошачий ангел 
Акулья улыбка 
1984 New York City Subway shooting 
Ещё несколько слов про Президента Николаса Мадуро и про его вину перед США 
Киев 
Щелкунчик на Театральной
26.01.2010 —
А вот я с gavagay не согласен.
Впечатленьице.
thesz — 08.03.2010
http://lambda-the-ultimate.org/node/3858#comment-59775
- ссылка на комментарий одного из разработчиков seL4, формально
верифицированного ядра, реализующего интерфейс L4.Там есть ссылка на разные работы по теме и, в частности, на исходники на Isabelle/HOL формального описания семантики подмножества C.
Говоря словами одного из героев Неуловимых Мстителей, "много, много!"
И страшно, настолько многословно.
PS
До чего, всё же, разный синтаксис у разных инструментов. Один, вроде, поверхностно знаешь, но в другом ни в зуб ногой.
Сохранено
|
|
</> |
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
Архив записей в блогах:
http://www.kniga.ru/books/665050?from=mya ...
Настоящая жизнь начинается тогда, когда ты теряешь смысл и ориентиры. Ты не знаешь куда жить, понятия не имеешь как жить и точно не знаешь - зачем. Обязательная программа выполнена. Первоначальный капитал знаний, опыта, убеждений накоплен. И оказался бесполезным. полный текст - ...
Наши репортеры-расследователи откопали служебные записки Управления по контролю за продуктами и лекарствами, документирующие начало пропагандистской кампании, и попросили New York Times исправить свои ложные сообщения.
Mary Beth PfeifferМэри Бет Пфайффер and а также Linda ...
Каждый раз, когда я слышу это, то хочется сплюнуть с досады. Чтить предков? Да у многих людей "предки" такие, что не дай Бог никому. "Предками" была всякая шваль, отбросы, насильники, палачи, холопы, пьянь. Есть люди, которые вопреки, неся на себе родовые проклятья, все равно развивались ...
Еще один способ развода доверчивых граждан. Товарищу Бендеру посвящается. Вчера в нашем щитке, где стоят счетчики электричества появились вот такие бумажки. На первый взгляд все ок. Логитип "мосэнергосбыт" к которому мы привыкли, и речь идет как бы от лица данной конторы. Да во ...
