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 ...

Allgemein

Marke
Springer International Publishing

Eigenschaften

Menü