Formal Techniques for Distributed Objects, Components, and Systems -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre6,49 €
Occasion · Très Bon État
Option Express : Chez vous demain (?)
- Livraison : 3,29 €
- Livré entre le 11 et le 14 avril
Ancien livre de bibliothèque. Edition 2017. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
Nos autres offres
-
141,13 €
Produit Neuf
Ou 35,28 € /mois
- Livraison : 25,00 €
- Livré entre le 28 avril et le 4 mai
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 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.
-
L'allemand Moderne Textes Et Structures Tome 2
Occasion dès 6,30 €
-
Casa Mexicana: The Architecture, Design, And Style Of Mexico
Occasion dès 7,00 €
-
The Boyfriend
16 avis
Neuf dès 11,50 €
Occasion dès 9,20 €
-
Kalevala
1 avis
Neuf dès 32,14 €
Occasion dès 8,00 €
-
Cirque Au Cinéma, Cinéma Au Cirque
Occasion dès 9,49 €
-
Witches Abroad
Occasion dès 9,45 €
-
The Complete Poems 1927-1979
1 avis
Occasion dès 6,04 €
-
The Hitchhiker's Guide To The Galaxy
Neuf dès 16,56 €
Occasion dès 8,44 €
-
The Killer Inside Me
1 avis
Occasion dès 7,50 €
-
Spirit - Stallion Of The Cimarron
1 avis
Occasion dès 4,62 €
-
Youcat
Occasion dès 8,25 €
-
Giorno Della Civetta
1 avis
Occasion dès 8,28 €
-
50 Things To Spot In London - Usborne Spotter's Cards
Occasion dès 8,16 €
-
The Challenger Sale
Neuf dès 23,42 €
Occasion dès 4,63 €
-
In The Shadow Of The Mountain Level 5
1 avis
Neuf dès 22,03 €
Occasion dès 3,50 €
-
Pride And Prejudice
5 avis
Neuf dès 10,78 €
Occasion dès 4,99 €
-
The Hunger Games 1
7 avis
Neuf dès 15,58 €
Occasion dès 4,77 €
-
The Craft Of Research
Occasion dès 5,55 €
-
Naruto 29
Neuf dès 8,49 €
Occasion dès 5,52 €
-
Carpe Jugulum
Neuf dès 15,78 €
Occasion dès 5,47 €
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 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuch?tel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.
Sommaire:
Session types for Link failures.- Learning-based compositional parameter synthesis for event-recording automata.- Modularising opacity verification for Hybrid Transactional Memory.- Proving opacity via linearizability: a sound and complete method.- On futures for streaming data in ABS.- Session-based concurrency, reactively.- Procedural choreographic programming.- An observational approach to defining linearizability on weak memory models.- Applying a dependency mechanism in the formal development of voting protocol models using event-B.- Weak simulation quasimetric in a gossip scenario.- Reasoning about distributed secrets.- Classical higher-order processes.- Weak nominal modal logic.- Type inference of simulink hierarchical block diagrams in Isabelle.- Creating B?chi automata for multi-valued model checking.- Privacy assessment using static taint analysis.- EPTL - a temporal logic for weakly consistent systems.
Détails de conformité du produit
Personne responsable dans l'UE