Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR96, Stockholm, Sweden, August 28-30, 1996, Proceedings

-15% su kodu: ENG15
71,98 
Įprasta kaina: 84,68 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
71,98 
Įprasta kaina: 84,68 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
2025-02-28 84.6800 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 10,00 

Knygos aprašymas

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.

Informacija

Serija: Lecture Notes in Computer Science
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 1997
Knygos puslapių skaičius: 340
ISBN-10: 3540627189
ISBN-13: 9783540627180
Formatas: 235 x 155 x 19 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR96, Stockholm, Sweden, August 28-30, 1996, Proceedings“

Būtina įvertinti prekę

Goodreads reviews for „Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR96, Stockholm, Sweden, August 28-30, 1996, Proceedings“