- 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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Самодельные детали для сельского радиоприемника
Автор: Авторы: З.Б.Гинзбург, Автор: Ф.И.Тарасов.Категория: радиоэлектроника
Размер книги: 1.40 Mb
Английский школьникам. Тренажер по чтению. Буквы и звуки
Автор: Е. В. Русинова
Размер книги: 12.41 Mb
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах
Автор: Роман Савин
Размер книги: 5.26 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Опционы, фьючерсы и другие производные финансовые инструменты
Автор: Халл Дж.К.(Hull J.C.)Категория: F_Finance, FD_Derivatives
Размер книги: 24.41 Mb
Только что пользователи скачали эти книги:
Военная авиация России
Автор: Ионин Сергей Николаевич, Автор: Составитель С.Н.Ионин.Категория: военное дело, военная наука
Размер книги: 8.89 Mb
Судовые автоматизированные энергетические установки
Автор: Акимов П.П.Категория: КНИГИ ТЕХНИКА
Размер книги: 3.73 Mb