libcats.org
Главная

Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000

Обложка книги Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000

Logic Based Program Synthesis and Transformation, 10 conf., LOPSTR 2000

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.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: