- 2 402 202 книги
- Поиск
libcats.org
Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000
Kung-Kiu LauPresents 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.
Скачать книгу бесплатно (pdf, 1.48 Mb)
Читать «Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000»
Читать «Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000»
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Момент истины (В августе сорок четвертого...)
Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Джеральд Даррелл. Путешествие В Эдвенчер
Автор: Боттинг ДугласКатегория: Биографии и Мемуары
Размер книги: 1.44 Mb
A Compact Electric Resistance Shop Furnace
Автор: Davide J Gingery / Дэвид ГингериКатегория: Tech
Размер книги: 27.19 Mb
Regulating Financial Services and Markets in the 21st Century
Автор: Eilis Ferran, Автор: A E GoodHartКатегория: Ecomomics
Размер книги: 1.02 Mb
Power Marketing, Selling, and Pricing: A Business Guide for Wedding and Portrait Photographers, Second Edition
Автор: Mitche Graf
Размер книги: 4.37 Mb
