LIBROS DEL AUTOR: catherine dubois

1 resultados para LIBROS DEL AUTOR: catherine dubois

catherine dubois Eliminar filtro Quitar filtros
  • Tests and Proofs
    Catherine Dubois
    1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at ETH Zurich, Switzerland, during July 2-3, 2009. TheTAPconferenceisdevotedtotheconvergenceofproofsandtests. Itc- bines ideasfromboth sidesforthe advancementofsoftwarequality. Toprovethe correctness of a pr...
    Disponible

    66,81 €