Programming Languages and Systems
Автор:Andrew D. Gordon
Название: Programming Languages and Systems
Издательство: Springer
Год: 2010
Формат:pdf
Размер: 5 Mb
This book constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers, presented together with two invited talks (one abstract and one full), were carefully reviewed and selected from 121 full paper submissions. The topics addressed include programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12756 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
В книге Юрия Дьякова «Занимательная микология» описаны особенности строения, физиологии и образа жизни грибов. Приведены сведен
В книге Юрия Дьякова «Занимательная микология» описаны особенности строения, физиологии и образа жизни грибов. Приведены сведения как о вреде, наносимом грибами, так и об особенностях их использования . . .
-
Благодаря новой увлекательной книге «Карты метро и нейронные сети» из серии «Мир математики» (К. Альсина, 2014 г.) читатель смо
Благодаря новой увлекательной книге «Карты метро и нейронные сети» из серии «Мир математики» (К. Альсина, 2014 г.) читатель сможет открыть для себя такие, казалось бы, обыденные явления, как с новой и . . .
-
«Микробы хорошие и плохие. Наше здоровье и выживание в мире бактерий», Джессика Снайдер. Книга раскрывает перед читателями скла
«Микробы хорошие и плохие. Наше здоровье и выживание в мире бактерий», Джессика Снайдер. Книга раскрывает перед читателями складывающиеся сегодня представления о симбиотических отношениях человеческог . . .
-
«E=mc2. Биография самого знаменитого уравнения мира», Боданис Дэвид. В 1905 году, выведя свое знаменитое уравнение Е=mc 2, Альб
«E=mc2. Биография самого знаменитого уравнения мира», Боданис Дэвид. В 1905 году, выведя свое знаменитое уравнение Е=mc 2, Альберт Эйнштейн подарил миру мощный источник энергии. И теперь, более ста ле . . .
-
В книге «Параллельные миры» известного физика-популяризатора науки Митио Каку описаны новые революционные идеи космологии, кото
В книге «Параллельные миры» известного физика-популяризатора науки Митио Каку описаны новые революционные идеи космологии, которые были выдвинуты сравнительно недавно. Среди этих новаторских идей — ин . . .
-
«Забавная химия: Занимательные, безопасные и простые химические опыты», Дмитрий Шкурко. Книга представляет собой сборник занима
«Забавная химия: Занимательные, безопасные и простые химические опыты», Дмитрий Шкурко. Книга представляет собой сборник занимательных химических опытов. Автор знакомит школьников со свойствами химиче . . .
-
«Рассказы о драгоценных камнях», Валерий Петров. Автор рассказывает в популярной форме об условиях образования, истории открыти
«Рассказы о драгоценных камнях», Валерий Петров. Автор рассказывает в популярной форме об условиях образования, истории открытия и освоения месторождений важнейших драгоценных и полудрагоценных камней . . .
-
«Кислород», Вячеслав Медведковский. Книга в популярной форме рассказывает об истории открытия кислорода, его свойствах, способ
«Кислород», Вячеслав Медведковский. Книга в популярной форме рассказывает об истории открытия кислорода, его свойствах, способах получения и применении в технике. #научпоп . . .
-
«Основы биохимии Ленинджера», Дэвид Нельсон (2011). В новом издании классического учебника рассмотрены основы современной биохи
«Основы биохимии Ленинджера», Дэвид Нельсон (2011). В новом издании классического учебника рассмотрены основы современной биохимии. Книга предназначена для студентов биологических, химических и медици . . .
-
«Звезды: их рождение, жизнь и смерть», Иосиф Шкловский. Книга посвящена центральной проблеме астрономии — физике звезд. #книги
«Звезды: их рождение, жизнь и смерть», Иосиф Шкловский. Книга посвящена центральной проблеме астрономии — физике звезд. #астрофизика . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Programming Languages and Systems. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.