Лучшие электронные календари 2025 года: удобство, функциональность и инновации 
Рубрика "Шахматы". 
Ради мира на земле 
Книжный август 2024 
Если не можете найти спутника жизни, заселитесь на пару месяцев в общагу 
В СССР введены наплечные погоны для личного состава Советской Армии 
В этот день 7 января – 1 
Бийск 
Вопрос знатокам на засыпку. Сегодня куда ни плюнь - везде Холокост.
26.01.2010 —
А вот я с gavagay не согласен.
Впечатленьице.
thesz — 08.03.2010
http://lambda-the-ultimate.org/node/3858#comment-59775
- ссылка на комментарий одного из разработчиков seL4, формально
верифицированного ядра, реализующего интерфейс L4.Там есть ссылка на разные работы по теме и, в частности, на исходники на Isabelle/HOL формального описания семантики подмножества C.
Говоря словами одного из героев Неуловимых Мстителей, "много, много!"
И страшно, настолько многословно.
PS
До чего, всё же, разный синтаксис у разных инструментов. Один, вроде, поверхностно знаешь, но в другом ни в зуб ногой.
Сохранено
|
|
</> |
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
Архив записей в блогах:
Наверное, никто из древних так не увлекался юриспруденцией, как римляне. Поэтому ...
Итак, бан фейсбука у меня надолго. За что? А я призывала людей разных национальностей встать спина к спине - и направить оружие против барыг. Слово "барыги" фб счёл для себя экстремистским оскорбительным. Хотя неча на зеркало пеняти, коли рожа крива . И после длительного ...
Вчера было семь занятий. Семь, Карл!!! Во время шестого по скайпу с Лозанной я открыла холодильник для шампанского, достала шампанское, козий сыр, сёмгу, кусок любимого хлеба нашла в закромах… с вашего позволения, говорю, иначе мне этот день не пережить. К вопросу о том, как проходят ...
Украинцы на Цензор.нет в комментариях к теме ...
К предыдущим постам серии ( 1 , 2 ). В прошлом посте было сказано, что именно глобализация является тем "фактором Х", который, собственно, и уничтожил реальное социалистическое и коммунистическое движение. Приведя к замене их на симулякры в виде то пресловутого "активизма". При котором ...
