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 - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540421276 - 1 mei 2001
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 65,49

Besteld in een afgelegen magazijn

Verwachte levering 13 - 25 jun.
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 1 mei 2001
ISBN13 9783540421276
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 188
Afmetingen 155 × 235 × 10 mm   ·   281 g
Taal en grammatica Duits  
Uitgever Lau, Kung-Kiu