• Couverture_Formal Analysis Of Future Energy Systems Using Interactive Theorem Proving
Aperçu gratuit du livre 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
15 août 2021
102,50 $
Prix en ligne. Les prix et les offres peuvent différer en magasin.
.
.    En Savoir Plus
Commande minimum de  1 articles
Vente ferme. Aucun retour ou échange.
La livraison de cet article sera effectuée sur rendez-vous par notre transporteur partenaire.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Obtenez 513 points et profitez d’un rabais additionnel avec plum+.  .

Description

Convient aux personnes de
Langue
anglais
Pages
79
SpringerBriefs in Applied Sciences and Technology
Publié par: Springer Nature
Dimensions à l’expédition: 9" H x 6" W x 1" L
ISBN: 9783030784089
Étape de vie: null

Vous aimerez peut-être aussi

Cotes et évaluations

  • bvseo_sdk, dw_cartridge, 18.2.0, p_sdk_3.2.0
  • CLOUD, getReviews, 6ms
  • reviews, product
  • bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Formal Analysis Of Future Energy Systems Using Interactive Theorem Proving DC1CA772-ADC1-4252-A745-9F06A1E6C717
Formal Analysis Of Future Energy Systems Using Interactive Theorem Proving
https://dynamic.indigoimages.ca/v1/books/books/3030784088/1.jpg
102.5
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/b1db63d9-98c1-46e3-b22e-44b3a659983d/300/300/False/image.jpg
98.13