Formal Analysis of Future Energy Systems Using Interactive Theorem Proving by Os
82,62 €
Interactive Theorem Proving. - Formalization of Stability Theory. - Formalization of Asymptotic Notations. - Formalization of Cost and Utility in Microeconomics. These formal theories are also employed to formally verify the cost and utility modeling for.
Jetzt bei Ebay:
