Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems -
- Format: Broché
- 272 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreLivre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours
Nos autres offres
-
86,61 €
Produit Neuf
Ou 21,65 € /mois
- Livraison : 25,00 €
- Livré entre le 9 et le 14 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- 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 Methods For The Quantitative Evaluation Of Collective Adaptive Systems Format Broché - Livre Informatique
0 avis sur Formal Methods For The Quantitative Evaluation Of Collective Adaptive Systems Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Dave Pelz's Short Game Bible
Neuf dès 53,97 €
Occasion dès 34,99 €
-
The Ecg In Emergency Decision Making
Neuf dès 36,33 €
Occasion dès 42,23 €
-
The Rape Of The Mind
Neuf dès 32,54 €
-
August Blue
Neuf dès 13,89 €
-
The Invisible Doctrine
Neuf dès 14,78 €
-
The Damned (La Bas)
Neuf dès 13,35 €
-
Roman Soldier Vs Dacian Warrior
Neuf dès 23,74 €
-
William The Conqueror
Neuf dès 34,43 €
-
Quantitative Value
Neuf dès 24,89 €
-
Orazio Gentileschi. «Astratto E Superbo Toscano»
Neuf dès 21,90 €
-
Berserk Volume 42
Neuf dès 20,92 €
-
Designing Creatures And Characters
Neuf dès 40,68 €
Occasion dès 35,00 €
-
Monk And Robot
Neuf dès 19,46 €
Occasion dès 45,99 €
-
The Pumpkin Spice Café Coloring Book
Neuf dès 15,49 €
-
The Reconstruction Of Nations
Neuf dès 30,09 €
-
The Artistic Anatomy Of Trees
Neuf dès 18,07 €
-
The Henna Artist
Neuf dès 15,40 €
-
Handling The Big Jets
Neuf dès 65,05 €
Occasion dès 32,84 €
-
Adolf Hitler: Mein Kampf
Neuf dès 34,05 €
-
Zen Flesh, Zen Bones
Neuf dès 20,10 €
Produits similaires
Présentation Formal Methods For The Quantitative Evaluation Of Collective Adaptive Systems Format Broché
- Livre InformatiqueEditeur : Springer International PublishingLangue : AnglaisParution : 01/06/2016Format : Moyen, de 350g à 1kgNombre de pages : 272Expédition : 417Dimensions : 23.5 x 15.5 x 1.5 ...
Résumé :
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016. SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, scalable quantitative analysis, spatio-temporal models, and aggregate programming.
Biographie:
Lecturers of the SFM International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Sommaire: Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems.- Dependability of Adaptable and Evolvable Distributed Systems.- Mean-Field Limits Beyond Ordinary Differential Equations.- Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools.- Spatial Representations and Analysis Techniques.- Spatial Logic and Spatial Model Checking for Closure Spaces.- Quantitative Abstractions for Collective Adaptive Systems.- Aggregate Programming: From Foundations to Applications.
Détails de conformité du produit
Personne responsable dans l'UE