LIBROS DEL AUTOR: asad ahmed

3 resultados para LIBROS DEL AUTOR: asad ahmed

asad ahmed 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 €

  • Django Project Blueprints
    Asad Jibran Ahmed
    ...
    Disponible

    63,07 €