Logic Based Program Synthesis and Transformation 1

Data & IT

Logic Based Program Synthesis and Transformation

Name: Logic Based Program Synthesis and Transformation
Price: 779 SEK
Availability: InStock
Author: Kung-Kiu Lau
ISBN: 9783540421276

Kung-Kiu Lau

Pocket

779:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

188 sidor
2001

The ten papers presented in this volume 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.

Författare: Kung-Kiu Lau
Format: Pocket/Paperback
ISBN: 9783540421276
Språk: Engelska
Antal sidor: 188
Utgivningsdatum: 2001-05-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K