LIBROS DEL AUTOR: maurice bruynooghe

2 resultados para LIBROS DEL AUTOR: maurice bruynooghe

maurice bruynooghe Eliminar filtro Quitar filtros
  • Logic Based Program Synthesis and Transformation
    Maurice Bruynooghe
    This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-base...
    Disponible

    48,06 €

  • Logic Based Program Synthesis and Transformation
    Maurice Bruynooghe
    This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composi...
    Disponible

    66,50 €