libcats.org
Главная →

Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000

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

Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000

Presents papers from the 10th Intl Workshop, LOPSTR 2000, held in London, UK, July 24-28, 2000. Synthesis, transformation, analysis, specialization, and abstract interpretation are discussed. Softcover.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

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

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

Contemporary Theatre, Film and Television, Volume 97

 Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Корсары Кайзера

 Автор:
Категория: История, Биографии и Мемуары
Размер книги: 1.06 Mb

Protein Expression. A Practical Approach

 Автор: , Автор:
Категория: Biology, Molecular Biology
Размер книги: 17.04 Mb

Дефенестрация Эрминтруды Инч

 Автор:
Категория: Фэнтези
Размер книги: 12 Kb

The Yacoubian Building: A Novel

 Автор:
Категория: Техника, Строительство
Размер книги: 1.41 Mb

Apokryphe Evangelien. Eine Einführung (3. Aufl.)

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