Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Lau Kung-Kiu — Lecture Notes in Computer Science. Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000
Lau Kung-Kiu — Lecture Notes in Computer Science. Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Lecture Notes in Computer Science. Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000

Автор: Lau Kung-Kiu

Аннотация:

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.


Язык: en

Рубрика: Computer science/

Тип: Журнал Lecture Notes in Computer Science

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 2001

Количество страниц: 190

Добавлена в каталог: 23.11.2013

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте