УЗИ простаты и ПСА - в чем разница и зачем нужны оба метода
13.03.2010 —
Haskell is fantastic because it works as advertised.
Милнер умер.
thesz — 28.03.2010
http://lambda-the-ultimate.org/node/3858#comment-59775
- ссылка на комментарий одного из разработчиков seL4, формально
верифицированного ядра, реализующего интерфейс L4.Там есть ссылка на разные работы по теме и, в частности, на исходники на Isabelle/HOL формального описания семантики подмножества C.
Говоря словами одного из героев Неуловимых Мстителей, "много, много!"
И страшно, настолько многословно.
PS
До чего, всё же, разный синтаксис у разных инструментов. Один, вроде, поверхностно знаешь, но в другом ни в зуб ногой.
Сохранено
|
|
</> |
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
08.03.2010 —
Впечатленьице.
26.01.2010 —
А вот я с gavagay не согласен.
06.01.2010 —
Под кат не уберу!
03.12.2009 —
Наткнулся у 17ur на отличное.
Архив записей в блогах:
Хочу предупредить, что мне неоднократно угрожали обращением в СУП и прочие карающие органы по поводу закрытия журнала за статьи и комментарии экстремистского и прочего наказуемого характера. Особенно старается некий alex pogis, заходящий с Майл.Ру. Ничего интересного у него на мэйлрушном а ...
Верится с трудом, но Рианна планировала тихий, спокойный вечер в честь своего ...
Источник Икона игровой индустрии - Хидэо Кодзима Игра года - Overwatch от Blizzard Entertainment Лучшая студия-разработчик - Blizzard за Overwatch Лучшее повествование - Uncharted 4: A Thief’s End от Naughty Dog За лучший художественный дизайн - INSIDE от PlayDead ...
С огромным удовоьствием прочитала фантастический рассказ Наты nkb ...
Мне конечно до пенсии как до Луны, спасибо партии и правительству, решившим что пенсии это для слабаков и трусов, а не для таких могучих богатырей как я, но поинтересовавшись своим трудовым стажем на сегодня, узнал, что мои 5 лет в институте с 2015-го года больше не считаются. Вот при ...
