Рейтинг причин заказать ремонт офисной мебели
28.03.2010 —
Милнер умер.
Ээээ....
thesz — 13.04.2010
http://lambda-the-ultimate.org/node/3858#comment-59775
- ссылка на комментарий одного из разработчиков seL4, формально
верифицированного ядра, реализующего интерфейс L4.Там есть ссылка на разные работы по теме и, в частности, на исходники на Isabelle/HOL формального описания семантики подмножества C.
Говоря словами одного из героев Неуловимых Мстителей, "много, много!"
И страшно, настолько многословно.
PS
До чего, всё же, разный синтаксис у разных инструментов. Один, вроде, поверхностно знаешь, но в другом ни в зуб ногой.
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
13.03.2010 —
Haskell is fantastic because it works as advertised.
08.03.2010 —
Впечатленьице.
26.01.2010 —
А вот я с gavagay не согласен.
06.01.2010 —
Под кат не уберу!
03.12.2009 —
Наткнулся у 17ur на отличное.
Архив записей в блогах:
Москва. 24 декабря. INTERFAX.RU - Королева Великобритании Елизавета II посмертно оправдала выдающегося британского математика Алана Тьюринга, приговоренного в 1952 г. к химической кастрации за гомосексуализм и покончившего с собой. Как сообщает во вторник BBC, Тьюринг был помилован по ...
СД Банка России. Ставка - 16%, снижена на 0,5%. Как и ожидалось, причем с прошлого заседания. Из заявления: Устойчиво низкая инфляция – единственный путь к умеренным процентным ставкам. И это то, что мы ожидаем увидеть в следующем году . Из ответов на вопросы: Если выбор между ...
Наверное, начать стоит с завоевания Греции, что дало Порте возможность контроля за почти всем Восточным Средиземноморьем. Но именно в Греции оттоманская политика забуксовала. Смысл вот в чем. Завоевав Константинополь, турки по-умному не стали разгонять Патриаршество, а просто включили его ...
...
Уважаемые, а откройте ка мне главную буржуинскую тайну, как успешные автовладельцы могут припарковаться у дк Газа, не нарушая и не рискуя попасть на эвакуатор ? Спасибопожалуйста ...
