Ebooks d'Osman Hasan en PDF et EPUB

1 Livre(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...

Editeur : Springer
Parution : 2021-08-13
Collection : SpringerBriefs in Applied Sciences and Technology
PDF, ePub

68,56 €