Сколько времени занимает шумоизоляция автомобиля
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 на отличное.
Архив записей в блогах:
?????? ?????????: ???? ?????? ?????http://www.ynet.co.il/articles/0,7340,L-3867825,00.html?????? ????? ...
Мусульманам не удалось разобраться по закону ( http://region15.ru/news/main/2009/03/30/23-45/ ) Они разобрались по горским понятиям ( http://top.rbc.ru/society/27/05/2011/596315.shtml ) За стих в журнале "Мах дуг" за №7 от 2008 года ( http://eduardcrane.livejournal.com/157326.html ) P.S. Как отреагируют на это лучшие ...
Лучо Фонтана у своего холста В комментариях к постам про современное искусство часто задавали вопрос – что вообще сегодня считать искусством? Разве Merda d'artista Пьеро Мандзони – это искусство? Разрезанный холст Фонтана – искусство? Каляки-маляки Твомбли – искусство? Рисунок моего ...
Наиболее незаменимым и функциональным предметом моего обихода является все-таки мобильный телефон. В нем контакты, а если он еще и наворочен - это фотоаппарат, плейер, записная книжка, читалка, интернет... Затем пожалуй ноутбук, но его не везде с ...
я не знаю, почему все так случилось. и он тоже не знает, мы обсуждали. почему так обожаешь отдельно взятое существо, которое не плоть от плоти и не кровь от крови, а встретилось пьяное в курортном баре, когда ты и не ждал ничего. и язык чужой, и в ...
