Vissa av webbplatsens funktioner begränsas av dina webbläsarinställningar (t.ex. privat läge). Byt surfläge för att kunna lägga artiklar i varukorgen.

Jag förstår

Logic Based Program Synthesis and Transformation 1

bokomslag Logic Based Program Synthesis and Transformation

Data & IT

Logic Based Program Synthesis and Transformation

Kung-Kiu Lau

Pocket

789:-

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

Uppskattad leveranstid 10-16 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