
AKTUELLE PARTNERANGEBOTE
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving. Asad Ahmed/ Osman Hasan/ Falah Awwad/ Nabil Bastaki. Taschenbuch. Taschenbuch
1 Angebote · ab 69,49 € gemeldete Gesamtkosten
