Willkommen. Schön, sind Sie da!
Mein Ex Libris

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

(0)
Erste Bewertung abgeben
This book describes an accurate analysis technique for energy systems based on formal methodscomputer-based mathematical logic tec...

Tiefpreis

CHF73.60

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband