LIBROS DEL AUTOR: maurizio proietti

1 resultados para LIBROS DEL AUTOR: maurizio proietti

maurizio proietti Eliminar filtro Quitar filtros
  • Logic Program Synthesis and Transformation
    Maurizio Proietti
    This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR’95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniq...
    Disponible

    66,32 €