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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

О физической природе шаровой молнии

 Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

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

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

Древо жизни

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

Здоровье надо созидать

 Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Кэт Мартин. Шелк и сталь

Автор:
Размер книги: 576 Kb

Уильям Гарвей

 Автор:
Категория: Медицина
Размер книги: 103 Kb

Progress in Optics, Vol. 23

 Автор:
Категория: Физика, Оптика
Размер книги: 10.99 Mb

Stress Management (National Safety Council)

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

Ways of Living: Work, Community and Lifestyle Choice

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