Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers - Lecture Notes in Computer Science - K -k Lau - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540421276 - 1 maj 2001
Om omslag och titel inte matchar är det titeln som gäller

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers - Lecture Notes in Computer Science 2001 edition

K -k Lau

Pris
R 1.281,54

Beställningsvara

Förväntad leverans 5 - 17 jul

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers - Lecture Notes in Computer Science 2001 edition

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.

188 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 1 maj 2001
ISBN13 9783540421276
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 188
Mått 155 × 235 × 10 mm   ·   281 g
Språk Tyska  
Redaktör Lau, Kung-Kiu

Se alt med K -k Lau ( t.ex. Pocketbok )