SULJE VALIKKO
KIRJAUDU
FORMAL ANALYSIS OF FUTURE ENERGY SYSTEMS USING INTERACTIVE THEOREM PROVING | ||
| Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 64,10 € Springer Sivumäärä: 79 sivua Asu: Pehmeäkantinen kirja Julkaisuvuosi: 2021, 15.08.2021 (lisätietoa) Kieli: Englanti Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
Näytä kaikki tuotetiedotISBN: 9783030784089 Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |