- 2 402 202 книги
- Поиск
libcats.org
Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001
Alberto PettorossiProceedings 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.
Скачать книгу бесплатно (pdf, 1.59 Mb)
Читать «Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001»
Читать «Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001»
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Посвящается Швейцарии
Автор: Хемингуэй Эрнест МиллерКатегория: Классическая проза
Размер книги: 94 Kb
Леонид Куббель
Автор: Владимиров, Автор: ФокинКатегория: 2004628-Шахматы. 375 книг в формате DJVU
Размер книги: 14.86 Mb
EcoDesign: Von der Theorie in die Praxis
Автор: Eberhard Abele, Автор: Reiner Anderl, Автор: Herbert Birkhofer, Автор: Bruno Ruttinger
Размер книги: 3.69 Mb
The Conceptual Foundations of the Statistical Approach in Mechanics (Dover Books on Physics and Chemistry)
Автор: Paul EhrenfestКатегория: Химия
Размер книги: 5.52 Mb
Elements of Intuitionism
Автор: Michael DummettКатегория: logic, proof theory, first order logic, intuitionistic, intuitionism, constructive reasoning, constructive demostration
Размер книги: 3.77 Mb