|
|
libcats.org
Programming Languages and Systems, 15 conf., ESOP 2006Peter SestoftThis book constitutes the refereed proceedings of the 15th European Symposium on Programming, ESOP 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 21 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 87 submissions. The papers address fundamental issues in the specification, analysis, and implementation of programming languages and systems; they are organized in topical sections on types for implementations, proof and types, verification and reasoning, security and distribution, analysis and verification, and connecting to the world.
Скачать книгу бесплатно (pdf, 3.26 Mb)
Читать «Programming Languages and Systems, 15 conf., ESOP 2006» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Историа Новой Сечи или посл Коша ЗапорожскогоАвтор: Скальковский А.Категория: История
Размер книги: 17.75 Mb
Mastering Space: Hegemony, Territory and International Political EconomyАвтор: John AgnewКатегория: Техника, Аэрокосмическое оборудование
Размер книги: 4.83 Mb
Insula Sacra : La loi Gabinia-Calpurnia de Délos (58 av. J.C)Автор: Jean-Christian Dumont, Автор: Jean-Louis Ferrary, Автор: Philippe Moreau
Размер книги: 10.78 Mb
|
|
|