Personnaliser

OK
Formal Techniques For Distributed Objects, Components, And Systems Format Broché

Formal Techniques for Distributed Objects, Components, and Systems -

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre
Filtrer par :
Neuf (2)
Occasion (1)
Reconditionné

Nos autres offres

  • 3,74 €

    Occasion · Très Bon État

    En savoir plus

    Option Express : Chez vous le 27/04 (?)

    • Livraison : 3,29 €
      Gratuits dès 15,00 € chez ce vendeur
    • Livré entre le 27 et le 30 avril
    Voir les modes de livraison

    Ammareal

    PRO

    4,8/5 sur + de 1 000 ventes
    Afficher la description de l'annonce

    Ancien livre de bibliothèque. Edition 2016. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.

  • 140,87 €

    Produit Neuf

    Ou 35,22 € /mois

    En savoir plus
    • Livraison : 25,00 €
    • Livré entre le 13 et le 18 mai
    Voir les modes de livraison

    Kelindo

    PRO

    4,8/5 sur + de 1 000 ventes
    Afficher la description de l'annonce

    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.

Publicité
 
Vous avez choisi le retrait chez le vendeur à
  • Payez directement sur Rakuten (CB, PayPal, 4xCB...)
  • Récupérez le produit directement chez le vendeur
  • Rakuten vous rembourse en cas de problème
Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

En savoir plus

TROUVER UN MAGASIN

    Retour

    Horaires

        Note :


        Avis sur Formal Techniques For Distributed Objects, Components, And Systems Format Broché  - Livre Informatique

        Note : 0 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.


        Présentation Formal Techniques For Distributed Objects, Components, And Systems Format Broché

         - Livre Informatique

        Livre Informatique - 01/06/2016 - Broché - Langue : Anglais

        . .

      • Editeur : Springer International Publishing Ag
      • Langue : Anglais
      • Parution : 01/06/2016
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 292
      • Expédition : 446
      • Dimensions : 23.5 x 15.5 x 1.6
      • ISBN : 3319395696



        • Résumé :

        This book constitutes the proceedings of the 36th IFIP WG 6.1
        International Conference on Formal Techniques for Distributed Objects,
        Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June
        2016, as part of the 11th International Federated Conference on
        Distributed Computing Techniques, DisCoTec 2016.
        The 18 revised full papers presented were carefully reviewed and
        selected from 44 submissions. The papers present a wide range of topics
        on distributed computing models and formal specification, testing, and
        verification methods.

        Sommaire:

        On the Power of Attribute-Based Communication.- Fencing Programs with Self-Invalidation and Self-Downgrade.- A Framework for Certified Self-Stabilization.-
        Developing Honest Java Programs with Diogenes.- Playing with our CAT and Communication-Centric Applications.- Multiparty Session Types Within A Canonical Binary Theory, and Beyond.- A Type Theory for Robust Failure Handling in Distributed Systems.- Choreographies in Practice.- Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.- Branching Bisimulation Games.- A Configurable CEGAR Framework with Interpolation-Based Refinements.- A Theory for the Composition of Concurrent Processes.- Enforcing Availability in Failure-Aware Communicating Systems.- Ransomware Steals Your Phone. Formal Methods Rescue It.- Multiple Mutation Testing from FSM.- The Challenge of Typed Expressiveness in Concurrency.- Type-Based Analysis for Session Inference.- SimAutoGen Tool: Test Vector Generation from Large Scale Matlab/Simulink Models.