LIBROS DEL AUTOR: andreas podelski

2 resultados para LIBROS DEL AUTOR: andreas podelski

andreas podelski Eliminar filtro Quitar filtros
  • Static Analysis
    Andreas Podelski
    This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler opt...
    Disponible

    65,51 €

  • Constraint Programming
    Andreas Podelski
    This book contains thoroughly revised versions of the papers presented at the 1994 Châtillon Spring School held in May 1994. This spring school was the 22nd event in a series of advanced seminars presenting important new areas of research to the theoretical computer science community.The interdisciplinary area of constraint (logic) programming and con...
    Disponible

    66,06 €