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 (3) Eigenschaften
Gesponsert
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Hugendubel
69.49 EUR
Preis aktualisiert am: 17-09-2026 11:19:38
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: 22-09-2026 18:50:33
Siehe Produktangebot
Gesponsert
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
SpringerLink DE
69.54 EUR
Preis aktualisiert am: 23-09-2026 04:42:06
Siehe Produktangebot

Allgemein

Marke
Springer International Publishing

Eigenschaften

Ähnliche Produkte

Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Aus53.49 EUR 3
Produkt anzeigen
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Aus58.84 EUR 3
Produkt anzeigen
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Aus53.49 EUR 2
Produkt anzeigen
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Aus42.79 EUR 2
Produkt anzeigen
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Aus53.49 EUR 2
Produkt anzeigen
Formal Methods for the Analysis of Biomedical Ontologies
Formal Methods for the Analysis of Biomedical Ontologies
Aus44.00 EUR 2
Produkt anzeigen
Menü