libcats.org
Главная

Logic-Based Program Synthesis and Transformation, 18 conf., LOPSTR 2008

Обложка книги Logic-Based Program Synthesis and Transformation, 18 conf., LOPSTR 2008

Logic-Based Program Synthesis and Transformation, 18 conf., LOPSTR 2008

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008.

The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Nucleation (Butterworth 2000)

Автор:
Категория: Phase transitions
Размер книги: 4.70 Mb

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb
Только что пользователи скачали эти книги:

Commutative Coherent Rings

Автор:
Размер книги: 1.18 Mb

Multiplicative ideal theory in commutative algebra. Tribute to R.Gilmer

Автор: , Автор: , Автор: , Автор:
Категория: Abstract algebra
Размер книги: 2.21 Mb

Commutative Coherent Rings

Автор:
Категория: Lecture notes
Размер книги: 1.90 Mb

Петросян-Спасский 1969

Автор: , Автор:
Категория: шахматы
Размер книги: 2.95 Mb

Side Effects

Автор:
Категория: fiction
Размер книги: 33 Kb