Bücher online kaufen
|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Langbeschreibung
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.
Inhaltsverzeichnis
Introduction.- Interactive Theorem Proving.- Formalization of Stability Theory.- Formalization of Asymptotic Notations.- Formalization of Cost and Utility in Microeconomics.- Conclusions
Associate Professor Osman Hasan gained his B.Sc. from the University of Engineering and Technology in 1997, and his M.Eng. and Ph.D. from Concordia University, in 2001 and 2008, respectively. He has worked in several research and teaching positions, for which he has won prizes, including his current role as Senior Head of Department of Electrical Engineering at the National University of Sciences and Technology. He has published 3 books, 14 book chapters, over 70 journal articles, and more than 150 conference papers. He is a senior member of the IEEE and a member of the Pakistan Engineering Council
ISBN-13:
9783030784096
Veröffentl:
2021
Seiten:
79
Autor:
Asad Ahmed
Serie:
SpringerBriefs in Applied Sciences and Technology
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
69,54 €*
Lieferzeit: Sofort lieferbar
Alle Preise inkl. MwSt.