Tous les ebooks d'Asad Ahmed en PDF et EPUB


1  résultat(s)
Télécharger le livre :  Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Ajouter à ma liste d'envies

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving


Asad Ahmed , Falah Awwad , Nabil Bastaki , 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...

Parution : 2021-08-13
Format(s) : PDF, ePub
Éditeur : Springer
J'achète
68,56

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés