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

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

blank
blank
blank
Красота
blank
Pettorossi A. — Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001
Pettorossi A. — Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001



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



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


Название: Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001

Автор: Pettorossi A.

Аннотация:

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.


Язык: en

Рубрика: Разное/

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

ed2k: ed2k stats

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

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

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

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