Капитальный ремонт в многоквартирном доме: права и обязанности собственников
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 на отличное.
Архив записей в блогах:
Найдено у Tettie . ...
А сегодня Всемирный День почты :) С чем нас всех и поздравляю. Хотя справедливости ради стоит заметить, что родная почтовая служба в последние годы сильно исправилась, в чем я лично имела возможность убедиться не раз. И присылаемые мне сувенирчеги от читателей всегда доходили в ...
Я каждое лето отдыхала у бабушки в деревне, даже после того, как рванул Чернобыль и в селе стали платить деньги за проживание в зараженной области, которые местные называли "смертные". Сейчас там в каждом дворе умершие от онкологии, а у меня карцерофобия. Поэтому мимо этого я просто не м ...
Давно стоило написать этот гид, но руки не доходили, пока не пришло время.
Текст создан по просьбе одного из проектов National Geographic и KLM, о моих рекомендациях для туристов по Рио-де-Жанейро. Куда сходить поесть в Рио? Что посмотреть? Где потусить ночью в Рио? Что и ...
Жерар Депардье, вне сомнения, талантливый актер, очень харизматичный и обаятельный. Но роли – это роли, а реальность – это реальность. Мнение о человеке складывается, исходя из всех критериев. Отношение к Депардье у меня неоднозначное: я с удовольствием смотрю кино картины с его ...
