Logic Program Synthesis and Transformation

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

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

Szerző: John Gallagher

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 305 Ft

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

Információk a könyvről

Szerző

John Gallagher

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1997

oldal

331

EAN

9783540627180

ISBN

3540627189

Enbook ID

05274682

Kiadó

Springer, Berlin

Súly

438

Méretek

156 x 234 x 18

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Logic Program Synthesis and Transformation

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták