Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Entdecke, wie interaktive Theorembeweise die Planung von Energiesystemen präzisieren: ein praxisnahes Werk, das mathematische Modelle mit modernen Be ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
SpringerLink DE
69.54 EUR
Preis aktualisiert am: 28-04-2026 20:42:01
Siehe Produktangebot
Gesponsert
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving, Fachbücher von Osman Hasan, Asad Ahmed, Nabil Bastaki, Falah Awwad
Galaxus.de
69.54 EUR
Preis aktualisiert am: 27-04-2026 18:46:58
Siehe Produktangebot

Allgemein

Marke
Springer International Publishing

Eigenschaften

Ähnliche Produkte

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Produkt anzeigen
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Produkt anzeigen
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Produkt anzeigen
Formal Methods for the Analysis of Biomedical Ontologies
Formal Methods for the Analysis of Biomedical Ontologies
Produkt anzeigen
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Produkt anzeigen
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Produkt anzeigen
Menü