Formal Techniques for Distributed Objects, Components, and Systems -
- Format: Broché Voir le descriptif
102,12 €
Produit Neuf
Ou 25,53 € /mois
- Livraison : 3,99 €
- Livré entre le 26 septembre et le 3 octobre
- 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 Techniques For Distributed Objects, Components, And Systems Format Broché - Livre Informatique
0 avis sur Formal Techniques For Distributed Objects, Components, And Systems Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Practical English Usage. Paperback With Online Access
Neuf dès 59,45 €
-
Complete Book Of Celtic Music For Appalachian Dulcimer
Neuf dès 69,99 €
-
Lucie Rie
Neuf dès 63,15 €
-
Die Eulen Europas
Occasion dès 56,38 €
-
La Sante Interdite
1 avis
Occasion dès 54,33 €
-
Graduale Romanum - Graduale Sacrosanctae Romanae Ecclesiae De Tempore Et De Sanctis Ss. D. N. Pii X. Pontificis Maximi
1 avis
Occasion dès 59,95 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 90,00 €
-
Catafalque
Neuf dès 86,94 €
-
I Want To Spend The Rest Of My Life Everywhere, With Everyone, One To One, Always, Forever, Now
Occasion dès 96,88 €
-
Theory Of Ordinary Differential Equations
Occasion dès 65,99 €
-
English Legal System Eighth Edition
Neuf dès 60,59 €
-
Song Book - Intégrale --- Chant, Guitare Ou Piano
Occasion dès 100,00 €
-
Last Time I Drew A Crowd: The Autobiography Of Jim Bentley
Occasion dès 60,00 €
-
Turc Sans Peine Méthode Assimil
Occasion dès 60,25 €
-
Feu Vert Guitare Accompagnement Tab 2 Cd
1 avis
Occasion dès 153,12 €
-
The Work Of Hipgnosis -Walk Away Rene
1 avis
Occasion dès 71,99 €
-
Trinity: Le Secret Le Mieux Gardé
1 avis
Occasion dès 53,00 €
-
Nietzsche And Zen
Neuf dès 137,34 €
-
Dictionary Of Arabic Loanwords In The Languages Of Central And East Africa
Neuf dès 88,35 €
-
Edexcel A Level Mathematics Pure Mathema
Neuf dès 64,34 €
Produits similaires
Présentation Formal Techniques For Distributed Objects, Components, And Systems Format Broché
- Livre Informatique
Résumé :
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.* The 10 full papers and 1 short paper presented were carefully reviewed and selected from 25 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems. *The conference was held virtually due to the COVID-19 pandemic. Chapter ?Conformance-Based Doping Detection for Cyber-Physical Systems? is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Sommaire: Full Papers.- Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.- Towards Bridging Time and Causal Reversibility.- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.- Conformance-Based Doping Detection for Cyber-Physical Systems.- On Implementable Timed Automata?.- Deep Statistical Model Checking.- Trace Equivalence and Epistemic Logic to Express Security Properties.- Derivation of Heard-Of Predicates From Elementary Behavioral Patterns.- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.- A Formal Framework for Consent Management.- Tutorials.- Tutorial: Parameterized Verification with Byzantine Model Checker.- Typechecking Java Protocols with [St]Mungo.- Short Paper.- Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).
Détails de conformité du produit
Personne responsable dans l'UE