Проволока 3 мм: характеристики отожжённой стальной проволоки и сферы применения
13.04.2010 —
Ээээ....
Поддержу.
thesz — 24.04.2010
http://lambda-the-ultimate.org/node/3858#comment-59775
- ссылка на комментарий одного из разработчиков seL4, формально
верифицированного ядра, реализующего интерфейс L4.Там есть ссылка на разные работы по теме и, в частности, на исходники на Isabelle/HOL формального описания семантики подмножества C.
Говоря словами одного из героев Неуловимых Мстителей, "много, много!"
И страшно, настолько многословно.
PS
До чего, всё же, разный синтаксис у разных инструментов. Один, вроде, поверхностно знаешь, но в другом ни в зуб ногой.
Оставить комментарий
Предыдущие записи блогера :
28.03.2010 —
Милнер умер.
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 на отличное.
Архив записей в блогах:
1936. Потсдам в цвете на снимках Михаэля Соботты 1935-1939. Берлин на снимках Михаэля Соботты. Часть 1 1935-1939. Берлин на снимках Михаэля Соботты. Часть 2 1935-1939. Берлин на снимках Михаэля Соботты. Часть 3 1935-1939. Берлин на снимках Михаэля Соботты. Часть 4 1935-1939. ...
я мог бы разводить лягушек и превращать потом в принцесс но слишком поцелуеёмкий процесс © Муля . Игра закончена! Победила команда kor_delia & gereint 51.5 балла! Браво, молодцы! На втором месте tlevande &Ko . 50 балла! Третье ...
Дамы - и особенно господа! Со всех сторон мы слышим стоны(с). Турецкие домохозяйки много лет стонут, что русские девушки ("тьфу, смотреть не на что!"(с) отнимают у них и у их дочерей их законную добычу, то есть женихов, а то и законных мужей. Российские ...
Ну вот и свершилось. Вопрос по которому ломали столько копий решён в пользу прав человека. Никакой обязанности носить хиджаб в Иране больше не существует. Власти Ирана официально отменили требование обязательного ношения хиджаба для женщин. Теперь за отсутствие головного убора не ...
У одного моего друга канешн откуда у меня любовнику взяться был потрясный запах Fahrenheit от Dior. Боянистый запах из конца 80-х, казалось бы. Но! Для меня он был как валерианка для кошки: уткнуться носом в шею, вдыхать и умирать. С другом я давно не виделась. А этот запах по-прежнему у ...
