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øker - Springer-Verlag Berlin and Heidelberg Gm - 9783540421276 - 1. mai 2001
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
NOK 709

Bestillingsvarer

Forventes levert 4. - 14. jun

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste

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øker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 1. mai 2001
ISBN13 9783540421276
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 188
Mål 155 × 235 × 10 mm   ·   281 g
Språk Tysk  
Redaktør Lau, Kung-Kiu

Se alt med K -k Lau ( f.eks. Pocketbok )