Paperback
Add to list Added to list Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Asad Q Ahmed,Osman Hasan,Falah Awwad,Nabil Bastaki
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…
Available to order, ships in 7-14 daysAvailable to order