LIBROS DEL AUTOR: falah awwad

2 resultados para LIBROS DEL AUTOR: falah awwad

falah awwad Eliminar filtro Quitar filtros
  • Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
    Asad Ahmed / Falah Awwad / Osman Hasan
    This book describes an accurate analysis technique for energy systems based on formal methods-computer-based mathematical logic techniques for the specification, validation, and verification of the systems.Correctness and accuracy of the financial, operational, and implementation analysis are of the paramount importance for the materialization of the future energy systems, such...
    Disponible

    48,47 €

  • Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
    Asad Ahmed / Falah Awwad / Osman Hasan
    This book describes an accurate analysis technique for energy systems based on formal methods-computer-based mathematical logic techniques for the specification, validation, and verification of the systems.Correctness and accuracy of the financial, operational, and implementation analysis are of the paramount importance for the materialization of the future energy systems, such...
    Disponible

    86,41 €