Logic Program Synthesis and Transformation

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

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

Autor: John Gallagher

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

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

Informații despre carte

Autor

John Gallagher

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1997

Pagini

331

EAN

9783540627180

ISBN

3540627189

Enbook ID

05274682

Editura

Springer, Berlin

Greutate

438

Dimensiuni

156 x 234 x 18

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Logic Program Synthesis and Transformation

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și