Logic Program Synthesis and Transformation

Name: Logic Program Synthesis and Transformation
Brand: Springer, Berlin
SKU: 9783540627180
Price: 52.83 EUR
Availability: InStock

6th International Workshop, LOPSTR' 96, Stockholm, Sweden, August 28-30, 1996. Proceedings

Автор: John Gallagher

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

52.83 € 103.32 лв

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Wor...

Информация за книгата

Автор

John Gallagher

Език

Английски език

Корици

Книга - С меки корици

Издадена

1997

страници

331

EAN

9783540627180

ISBN

3540627189

Enbook ID

05274682

Издател

Springer, Berlin

Теглоt

438

Размери

156 x 234 x 18

Пълно описание

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Logic Program Synthesis and Transformation

6th International Workshop, LOPSTR' 96, Stockholm, Sweden, August 28-30, 1996. Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също