Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - Ahmed, Asad
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre86,36 €
Produit Neuf
Ou 21,59 € /mois
- Livraison à 0,01 €
- Livré entre le 4 et le 11 mai
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030784089_dbm
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Formal Analysis Of Future Energy Systems Using Interactive Theorem Proving de Ahmed, Asad Format Broché - Livre Littérature Générale
0 avis sur Formal Analysis Of Future Energy Systems Using Interactive Theorem Proving de Ahmed, Asad Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Mobilier Art Deco
Occasion dès 47,00 €
-
Warehouse Management
Neuf dès 66,26 €
-
Dosso Dossi: Court Painter In Renaissance Ferrara
Occasion dès 55,00 €
-
La Sante Interdite
Occasion dès 71,00 €
-
Yngwie Malmsteen Anthology
1 avis
Neuf dès 49,99 €
-
Sennelier L'artisan Des Couleurs
Occasion dès 67,00 €
-
My Favorite Thing Is Monsters
1 avis
Neuf dès 50,53 €
-
The Colouring, Bronzing And Patination Of Metals
Neuf dès 74,06 €
Occasion dès 52,19 €
-
Hilgard S Introduction To Psychology Rita L. Atkinson
Occasion dès 95,99 €
-
The Rare Record Price Guide 2026
Neuf dès 44,66 €
-
Power Electronics
Neuf dès 55,39 €
-
Karl Blossfeldt
2 avis
Occasion dès 69,00 €
-
Pomellato
Occasion dès 80,00 €
-
Storm Chasing Handbook, 2nd. Ed.
Neuf dès 64,46 €
-
Professional Goldsmithing : A Contemporary Guide To Traditional Jewelry Techniques
Occasion dès 110,38 €
-
Pucci De Rossi: '71-'96
Occasion dès 49,70 €
-
David Busch's Canon Eos R6 Ii Guide To Digital Photography
Neuf dès 46,39 €
Occasion dès 82,99 €
-
Medicine 1 - Student's Book
Occasion dès 47,99 €
-
Encyclopedia Of Hydrangeas
Occasion dès 51,25 €
-
A Portrait Of The Artist As A Young Man (Collector's Edition) (Laminated Hardback With Jacket)
Neuf dès 49,88 €
Produits similaires
Présentation Formal Analysis Of Future Energy Systems Using Interactive Theorem Proving de Ahmed, Asad Format Broché
- Livre Littérature Générale
Résumé :
This book describes an accurate analysis technique for energy systems based on formal methods-computer-based mathematical logic techniques for the specification, validation, and verification of the systems. Correctness and accuracy of the financial, operational, and implementation analysis are of the paramount importance for the materialization of the future energy systems, such as smart grids, to achieve the objectives of cost-effectiveness, efficiency, and quality-of-service. In this regard, the book develops formal theories of microeconomics, asymptotic, and stability to support the formal analysis of generation and distribution cost, smart operations, and processing of energy in a smart grid. These formal theories are also employed to formally verify the cost and utility modeling for: Energy generation and distribution...
Biographie:
Asymptotic bounds for online scheduling algorithms for plug-in electric vehicles...
Sommaire:
This book describes an accurate analysis technique for energy systems based on formal methods-computer-based mathematical logic techniques for the specification, validation, and verification of the systems. Correctness and accuracy of the financial, operational, and implementation analysis are of the paramount importance for the materialization of the future energy systems, such as smart grids, to achieve the objectives of cost-effectiveness, efficiency, and quality-of-service. In this regard, the book develops formal theories of microeconomics, asymptotic, and stability to support the formal analysis of generation and distribution cost, smart operations, and processing of energy in a smart grid. These formal theories are also employed to formally verify the cost and utility modeling for: Energy generation and distribution...
Détails de conformité du produit
Personne responsable dans l'UE