Willkommen. Schön, sind Sie da!
Mein Ex Libris
💥10% auf Kinder- & Jugendbücher und 20% auf ausgewählte E-Reader
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...

10% Rabatt auf Kinder- und Jugendbücher

Tiefpreis

CHF76.80

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

Wird oft zusammen gekauft

Andere Kunden kauften auch