Normal view MARC view ISBD view

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - Springer Springer 2022

ISBN: 9783030784096

Source: EBOOK

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)