Formal Techniques for Distributed Objects, Components, and Systems -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre103,99 €
Occasion · Comme Neuf
Ou 26,00 € /mois
- Livraison : 25,00 €
- Livré entre le 16 et le 24 avril
- 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
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Ruven Afanador: Angel Gitano
Occasion dès 115,99 €
-
Logic, Language, And Meaning, Volume 2
Neuf dès 60,11 €
Occasion dès 79,45 €
-
Pierre Molinier
Occasion dès 75,00 €
-
Das Lyrische Werk
Neuf dès 123,20 €
Occasion dès 77,30 €
-
Robert Polidori: After The Flood
1 avis
Occasion dès 68,00 €
-
Kim Kardashian Selfish
Occasion dès 96,99 €
-
Graham Hill Scrapbook 1929 -1966
Occasion dès 110,00 €
-
A Stitch In Time
Neuf dès 85,77 €
-
Yoga Art
Occasion dès 138,25 €
-
Elvis Presley On Tour Livre Usa 120 Pages 240 Photos Inedites ! Rare!
Occasion dès 59,00 €
-
Artemis
Occasion dès 84,29 €
-
L'Histoire La Vie Et Les Moeurs Et La Curiosité
Occasion dès 99,00 €
-
Key Questions In Cardiac Surgery
Neuf dès 108,15 €
-
Assassin's Quest (The Illustrated Edition)
Neuf dès 54,35 €
-
The Harvard Book: Selections From Three Centuries, Revised Edition
Neuf dès 79,61 €
-
Rock 'n' Roll Cats (Street Design)
Occasion dès 96,99 €
-
Lighthouses Of The World
Occasion dès 55,99 €
-
Eighteenth Century Musical Instruments, France And Britain = Les Instruments De Musique Au Xviiie Siecle, France Et Grande-Bretagne: [Catalo
Occasion dès 55,50 €
-
Stewart Copeland: Drumming In The Police And Beyond
Neuf dès 117,99 €
-
The Original Sevcik Violin Studies Op.7 Part 1
Occasion dès 80,99 €
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