All categories
    cartcart

    Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science, 1207, Band 1207)

     
    Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science, 1207, Band 1207)

    Description

    This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.
    The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.

    Product details

    EAN/ISBN:
    9783540627180
    Edition:
    1997
    Medium:
    Paperback
    Number of pages:
    340
    Publication date:
    2008-06-13
    Publisher:
    Springer
    Manufacturer:
    Unknown
    EAN/ISBN:
    9783540627180
    Edition:
    1997
    Medium:
    Paperback
    Number of pages:
    340
    Publication date:
    2008-06-13
    Publisher:
    Springer
    Manufacturer:
    Unknown

    Shipping

    laposte
    The edition supplied may vary.
    Currently sold out