LIBROS DEL AUTOR: patrick godefroid

1 resultados para LIBROS DEL AUTOR: patrick godefroid

patrick godefroid Eliminar filtro Quitar filtros
  • Model Checking Software
    Patrick Godefroid
    This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22-24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based techniques for the validation and analysis of communi- tion protocols and software systems. The workshop focu...
    Disponible

    66,22 €