LIBROS DEL AUTOR: orna grumberg

1 resultados para LIBROS DEL AUTOR: orna grumberg

orna grumberg Eliminar filtro Quitar filtros
  • Computer Aided Verification
    Orna Grumberg
    This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV ’97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated t...
    Disponible

    65,28 €