libcats.org
Главная →

Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001

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

Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001

Proceedings of the 11th Intl Workshop, LOPSTR 2001 held November 28-30, 2001 in Paphos, Cyprus. Selected papers on topical sections on program transformation and equivalence, program verification, program analysis, development, and program synthesis. Softcover.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

Древо жизни

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

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

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

Древо жизни

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

Теория функций. Издание второе

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

Totally positive matrices

 Автор:
Категория: M_Mathematics, MA_Algebra, MAl_Linear algebra
Размер книги: 1.24 Mb

Bien, Gracias. Y Usted? Good, Thank You and You? Humor-Comic Spanish

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

Manual Medicine: Diagnostics

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

The Outlaw Heart

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

The house of Doctor Dee

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

Over The Line

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

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