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øger - Springer-Verlag Berlin and Heidelberg Gm - 9783540421276 - 1. maj 2001
Ved uoverensstemmelse mellem cover og titel gælder titel

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
DKK 565

Bestilles fra fjernlager

Forventes klar til forsendelse 4. - 12. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 1. maj 2001
ISBN13 9783540421276
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 188
Mål 155 × 235 × 10 mm   ·   281 g
Sprog Tysk  
Klipper/redaktør Lau, Kung-Kiu

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