Personnaliser

OK
Rakuten - Achat et vente en ligne de produits neufs et d'occasionRakuten group
ClubR
Euro

Mettre en vente

Rakuten - Achat et vente en ligne de produits neufs et d'occasionRakuten group

Control Flow and Data Flow: Concepts of Distributed Programming -

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

18,91 €

Occasion · Bon État

LIVRAISON RAPIDE

Ce vendeur propose la livraison entre 2 et 4 jours

Option Express : Chez vous le 22/07 (?)

  • Livraison GRATUITE
  • Livré entre le 21 et le 23 juillet
Voir les modes de livraison
  • Protection acheteurs :
  • 0,00 €

Ammareal

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

Ancien livre de bibliothèque. Couverture différente. Edition 1986. 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 Control Flow And Data Flow: Concepts Of Distributed Programming Format Broché  - Livre Littérature Générale

      Note : 0 0 avis sur Control Flow And Data Flow: Concepts Of Distributed Programming Format Broché  - Livre Littérature Générale

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


      Présentation Control Flow And Data Flow: Concepts Of Distributed Programming Format Broché

       - Livre Littérature Générale

      Livre Littérature Générale - 01/12/1986 - Broché - Langue : Anglais

      Editeur : Springer-Verlag GmbhLangue : AnglaisParution : 01/12/1986Format : Moyen, de 350g à 1kgNombre de pages : 536Expédition : 914Dimensions : 24.4 x 17.0 x 2.9 Résumé...

    • Editeur : Springer-Verlag Gmbh
    • Langue : Anglais
    • Parution : 01/12/1986
    • Format : Moyen, de 350g à 1kg
    • Nombre de pages : 536
    • Expédition : 914
    • Dimensions : 24.4 x 17.0 x 2.9
    • Résumé :
      In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are among the central challenges for computing sci enti sts. The foundati ons of di stributed programming compri se all the fasci nating questions of computing science: the development of adequate com putational , conceptual and semantic model s for distributed systems, specification methods, verification techniques, transformation rules, the development of suitable representations by programming languages, evaluation and execution of programs describing distributed systems. Being the 7th in a series of ASI Summer Schools at Marktoberdorf, these lectures concentrated on distributed systems. Already during the previous Summer School s at Marktoberdorf aspects of di stributed systems were important periodical topics. The rising interest in distributed systems, their design and implementation led to a considerable amount of research in this area. This is impressively demonstrated by the broad spectrum of the topics of the papers in this vol ume, although they are far from being comprehensive for the work done in the area of distributed systems. Distributed systems are extraordinarily complex and allow many distinct viewpoints. Therefore the literature on distributed systems sometimes may look rather confusing to people not working in the field. Nevertheless there is no reason for resignation: the Summer School was able to show considerable convergence in ideas, approaches and concepts for distributed systems.

      Sommaire:
      On the Nature of Computing Science.- I. Operational Models of Distributed Systems.- Distributed Systems, Partial Orderings of Events, and Event Structures.- On Mixed Computation: Informal Account of the Strict and Polyvariant Computational Schemes.- II. Abstract Modelling of Distributed Systems.- Notes on Communicating Sequential Processes.- Lectures on a Calculus for Communicating Systems.- Extensional Behaviour of Concurrent, Nondeterministic, Communicating Systems.- III. Hardware as Distributed Systems.- The Architecture of Parallel Computers.- Data Flow Computation.- Concurrent Computations and VLSI Circuits.- IV. Design and Verification of Distributed Systems.- Proving Correctness of CSP Programs, a Tutorial.- Real Time Clocks versus Virtual Clocks.- The Image Construction in Computerized Axial Tomography.- Derivation of a Termination Detection Algorithm for Distributed Computations.- The Distributed Snapshot of K. M. Chandy and L. Lamport.- A Simple Fix Point Argument without the Restriction to Continuity.

      Détails de conformité du produit

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

      Personne responsable dans l'UE

      )
      Neuf et occasion
      Le choixNeuf et occasion
      5% remboursés
      Minimum5% remboursés
      Satisfait ou remboursé
      La sécuritéSatisfait ou remboursé
      À votre écoute
      Le service clientsÀ votre écoute
      LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
      visavisa
      mastercardmastercard
      klarnaklarna
      paypalpaypal
      floafloa
      americanexpressamericanexpress
      RakutenLogos.svg
      • Rakuten Kobo
      • Rakuten TV
      • Rakuten Viber
      • Rakuten Viki
      • Plus de services
      • À propos de Rakuten
      Rakuten.com