Willkommen. Schön, sind Sie da!
Mein Ex Libris
Nur noch heute: Rabatte, die Lust auf Sommerferien machen.
Jetzt profitieren

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Asad Ahmed, Nabil Bastaki, Falah Awwad

(0)
Erste Bewertung abgeben

This book describes an accurate analysis technique for energy systems based on formal methodscomputer-based mathematical logic te...

Rabatte die Lust auf Sommerferien machen

Tiefpreis

CHF76.80

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

Wird oft zusammen gekauft

Andere Kunden kauften auch