Coordination Models and Languages -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre150,53 €
Produit Neuf
Ou 37,63 € /mois
- Livraison à 0,01 €
- Livré entre le 10 et le 20 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783031081453_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 Coordination Models And Languages Format Broché - Livre Informatique
0 avis sur Coordination Models And Languages Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Jock Sturges
Occasion dès 215,18 €
-
Configuring Sap S/4hana Finance
Neuf dès 111,72 €
-
The Cure, Ten Imaginary Years
1 avis
Occasion dès 132,00 €
-
Surrealism - Two Private Eyes
Occasion dès 139,20 €
-
Codex Manuscrit Latin Du Xie Au Xvie Siècle Comprenant Principalement Le Récit Des Miracles De Sainte Foy De Conques Un Des 2000 Exemplaires À Tirage Unique
Occasion dès 99,00 €
-
Pink Pussy Flower Power
1 avis
Neuf dès 78,33 €
-
Franz Kline
1 avis
Neuf dès 144,48 €
-
Bounce !
Occasion dès 108,52 €
-
Tango And The Political Economy Of Passion
Neuf dès 89,99 €
-
Glyn Philpot, 1884-1937: Edwardian Aesthete To Thirties Modernist
Occasion dès 131,69 €
-
Classical Form
Neuf dès 91,69 €
-
Days At Sea
Occasion dès 80,00 €
-
Warhammer Armies Skaven (French Edition)
2 avis
Occasion dès 210,00 €
-
Sous La Griffe Du Dragon : Costumes De Cour De La Dynastie Qing (1644-1911)
1 avis
Occasion dès 98,90 €
-
Calvin Klein
Neuf dès 121,62 €
-
Verlinde: Paintings And Drawings
Occasion dès 149,99 €
-
Supergirl: The New 52 Omnibus Vol. 1
Neuf dès 129,55 €
-
Lancia Beta: Berlina, Coupe, Spider, Hpe And Montecarlo : A Collector's Guide
Occasion dès 99,99 €
-
Bruegel. The Complete Works
Neuf dès 95,23 €
-
Complex Analysis
1 avis
Neuf dès 87,09 €
Produits similaires
Présentation Coordination Models And Languages Format Broché
- Livre Informatique
Résumé :
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022. The 11 regular papers and one short paper presented in this book were carefully reviewed and selected from 22 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.
Sommaire:
Formal Methods for Socio-Technical Security (Formal and Automated Analysis of Security Ceremonies) .- Timed and Probabilistic Systems.- MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems.- A Sound Up-to-n; Bisimilarity for PCTL.- Collective Adaptive Systems and Aggregate Computing Extensible 3D Simulation of Aggregated Systems with FCPP.- Towards Reinforcement Learning-based Aggregate Computing .- A Tool for Reasoning about Collective Systems.- Space- uid Adaptive Sampling: a Field-based, Self-organising Approach.- Processes and Languages.- Formal Choreographic Languages.- A Model of Actors and Grey Failures.- Soft Concurrent Constraint Programming with Local Variables.- Runtime Veri cation and Monitor Synthesis.- A Synthesis Tool for Optimal Monitors in a Branching-Time Setting.- A Monitoring Tool for the Linear-Time HML.- Microservices.- Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs.
Détails de conformité du produit
Personne responsable dans l'UE