Logic Based Program Synthesis and Transformation

Name: Logic Based Program Synthesis and Transformation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540421276
Price: 19173 HUF
Availability: InStock

10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

Szerző: Kung-Kiu Lau

Nyelv:

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

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

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

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

19 173 Ft

This book presents revised full papers from the 10th International Workshop on Logic-Based Program S...

Információk a könyvről

Szerző

Kung-Kiu Lau

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2001

oldal

188

EAN

9783540421276

ISBN

3540421270

Enbook ID

01563497

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

306

Méretek

155 x 235 x 11

Teljes leírás

This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

É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 Based Program Synthesis and Transformation

10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers

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