LIBROS DEL AUTOR: pierre flener

2 resultados para LIBROS DEL AUTOR: pierre flener

pierre flener Eliminar filtro Quitar filtros
  • Logic Program Synthesis from Incomplete Information
    Pierre Flener
    Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program de...
    Disponible

    207,82 €

  • Logic-Based Program Synthesis and Transformation
    Pierre Flener
    This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR’98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abst...
    Disponible

    66,02 €