Streaming af e- og lydbøger Stream e- og lydbøger Prøv gratis

Logic Based Program Synthesis and Transformation: 10th International Workshop, Lopstr 2000 London, UK, July 24-28, 2000 Selected Papers

Du sparer 35% fra forlagets pris Du sparer 35% fra forlagets pris
Logic Based Program Synthesis and Transformation: 10th International Workshop, Lopstr 2000 London, UK, July 24-28, 2000 Selected Papers
  • Forlagets pris kr. 919,95
  • Leveringstid 5-9 hverdage
  • Forventet levering 26-07-2018
Bog, hæftet (kr. 599,95) (kr. 599,95)
  1. Beskrivelse

    This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.

    The 10 revised full papers presented 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.

  2. Yderligere info
    Udgivelsesdato:
    01-05-2001
    Sprog:
    Engelsk
    ISBN13:
    9783540421276
    Sidetal:
    196
    Vægt:
    286 g
    Højde:
    11 mm
    Bredde:
    156 mm
    Længde:
    234 mm
    Forlag:
    Springer
    Mærkat:
    Bog, hæftet
    Format:
    Hæftet
  3. Anmeldelser

    Kundernes boganmeldelser af Logic Based Program Synthesis and Transformation: 10th International Workshop, Lopstr 2000 London, UK, July 24-28, 2000 Selected Papers

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.