Personnaliser

OK

Formal Methods for Open Object-Based Distributed Systems -

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

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

Nos autres offres

  • 3,74 €

    Occasion · Très Bon État

    Option Express : Chez vous le 05/05 (?)

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

    Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.

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 Methods For Open Object - Based Distributed Systems de Format Relié  - Livre Littérature Générale

      Note : 0 0 avis sur Formal Methods For Open Object - Based Distributed Systems de Format Relié  - Livre Littérature Générale

      Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.


      Présentation Formal Methods For Open Object - Based Distributed Systems de Format Relié

       - Livre Littérature Générale

      Livre Littérature Générale - 01/11/1996 - Relié - Langue : Anglais

      . .

    • Editeur : Springer Us, New York, N.Y.
    • Langue : Anglais
    • Parution : 01/11/1996
    • Format : Moyen, de 350g à 1kg
    • Nombre de pages : 412.0
    • Expédition : 776
    • ISBN : 0412797704



    • Résumé :
      Types and behaviour. Formalizing object-orientated methods. Case studies I. Actors. Open distributed processing I. Case studies II. Object and process calculi. Specification and design distributed systems. Open distributed processing II....

      Biographie:
      semantics of object-based distributed systems and programming languages...

      Sommaire:
      Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods. Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing...

      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
      La sécuritéSatisfait ou remboursé
      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