Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (eBook, PDF)

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (eBook, PDF)

Versandkostenfrei!
Sofort per Download lieferbar
52,95 €
inkl. MwSt.
Alle Infos zum eBook verschenken
Weitere Ausgaben:
PAYBACK Punkte
26 °P sammeln!
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 as smart grids, to achieve the objectives of cost-effectiveness, efficiency, and quality-of-service. In this regard, the book develops formal theories of microeconomics, asymptotic, and stability to support the formal a...

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.