LIBROS DEL AUTOR: michael hanus

3 resultados para LIBROS DEL AUTOR: michael hanus

michael hanus Eliminar filtro Quitar filtros
  • Logic-Based Program Synthesis and Transformation
    Michael Hanus
    This volume contains a selection of the papers presented at the 18th Inter- tionalSymposiumonLogic-BasedProgramSynthesisandTransformation(LOP- STR 2008) held during July 17-18, 2008 in Valencia, Spain. Information about ? the conference can be found at http://www.informatik.uni-kiel.de/ mh/ lopstr08. Previous LOPSTR symposia were held in Lyngby (2007)...
    Disponible

    66,74 €

  • Practical Aspects of Declarative Languages
    Michael Hanus
    This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, co-located with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented together with two invited papers were carefully reviewed...
    Disponible

    65,99 €

  • Problemlösen mit PROLOG
    Michael Hanus
    ...
    Disponible

    54,30 €