Personnaliser

OK

Durée limitée Jardin et Bricolage : 10€, 20€ ou 100€ offerts* dès 69€, 149€ ou 999€ d'achat !

En profiter

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 :

Nos autres offres

  • 81,83 €

    Produit Neuf

    Ou 20,46 € /mois

    • Livraison : 3,99 €
    • Livré entre le 25 et le 31 juillet
    Voir les modes de livraison
    4,8/5 sur + de 1 000 ventes
    Voir le détail de l'annonce 
  • 89,73 €

    Produit Neuf

    Ou 22,43 € /mois

    • Livraison à 0,01 €
    • Livré entre le 27 juillet et le 8 août
    Voir les modes de livraison

    Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783319191942_dbm

    Voir le détail de l'annonce 
  • 86,61 €

    Produit Neuf

    Ou 21,65 € /mois

    • Livraison : 25,00 €
    • Livré entre le 8 et le 13 août
    Voir les modes de livraison
    4,8/5 sur + de 1 000 ventes

    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.

    Voir le détail de l'annonce 
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

Gratuit et sans engagement

Félicitations !

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

En savoir plus

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/05/2015 - Broché - Langue : Anglais

      . .

    • Editeur : Springer International Publishing Ag
    • Langue : Anglais
    • Parution : 01/05/2015
    • Format : Moyen, de 350g à 1kg
    • Nombre de pages : 260
    • Expédition : 400
    • Dimensions : 23.5 x 15.5 x 1.5
    • ISBN : 9783319191942



    • Résumé :
      This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

      Sommaire:

      Ensuring Properties of Distributed Systems.- Formal Models of Concurrent and Distributed Systems.- Real Time Systems.- Security.- Efficient Verification Techniques.

      Détails de conformité du produit

      Consulter les détails de conformité de ce produit (

      Personne responsable dans l'UE

      )
      Le choixNeuf et occasion
      Minimum5% remboursés
      Le service clientsÀ votre écoute
      LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
      visavisa
      mastercardmastercard
      klarnaklarna
      paypalpaypal
      floafloa
      americanexpressamericanexpress
      Rakuten Logo
      • Rakuten Kobo
      • Rakuten TV
      • Rakuten Viber
      • Rakuten Viki
      • Plus de services
      • À propos de Rakuten
      Rakuten.com