LIBROS DEL AUTOR: sofiene tahar

1 resultados para LIBROS DEL AUTOR: sofiene tahar

sofiene tahar Eliminar filtro Quitar filtros
  • Probabilistic Analysis using Theorem Proving
    Osman Hasan / Sofiène Tahar
    Traditionally, computer simulation techniques are used to perform probabilistic analysis. However, they provide less accurate results and cannot handle large-scale problems due to their enormous CPU time requirements. Recently, a significant amount of formalization has been done in higher-order logic that allows us to conduct precise probabilistic analysis using theorem proving...
    Disponible

    83,94 €