Personnaliser

OK

Protocol engineering - Schneider, Jürgen M.

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

73,77 €

Produit Neuf

  • Ou 18,44 € /mois

    • Livraison à 0,01 €
    • Livré entre le 8 et le 17 juin
    Voir les modes de livraison

    RiaChristie

    PRO Vendeur favori

    4,9/5 sur + de 1 000 ventes

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

    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 Protocol Engineering Format Broché  - Livre Technologie

        Note : 0 0 avis sur Protocol Engineering Format Broché  - Livre Technologie

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


        Présentation Protocol Engineering Format Broché

         - Livre Technologie

        Livre Technologie - Schneider, Jürgen M. - 01/01/1992 - Broché - Langue : Allemand

        . .

      • Auteur(s) : Schneider, Jürgen M.
      • Editeur : Vieweg & Teubner
      • Langue : Allemand
      • Parution : 01/01/1992
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 272
      • Expédition : 356
      • Dimensions : 21.0 x 14.8 x 1.5
      • ISBN : 3528052430



      • Sommaire:
        1 Introduction.- 1.1 Overview.- 1.2 Communication Systems.- 1.2.1 Structuring Principles.- 1.2.2 Architectural Concepts.- 1.3 Protocol Engineering.- 1.3.1 Life-cycle.- 1.3.2 Tool Support.- 2 Protocol Specification with Formal Description Techniques.- 2.1 Informal Specification.- 2.2 Formal Description Techniques (FDTs).- 2.2.1 Estelle and SDL.- 2.2.2 Numerical Petri Nets.- 2.2.3 LOTOS.- 2.2.4 Z.- 2.3 Comparative Assessment.- 3 Protocol Specification with Communicating Rule Systems.- 3.1 Extended Abstract Syntax Notation One (X-ASN.1).- 3.1.1 Type Definition and Operations.- 3.1.2 Type Equivalence.- 3.1.3 Encoding Rules.- 3.2 Communicating Rule Systems (CRS).- 3.2.1 Rule Systems.- 3.2.2 Gates.- 3.2.3 Structuring Mechanisms.- 3.2.4 Abstract Data Types.- 3.2.5 Assessment.- 3.3 Operational Semantics ot CRS.- 3.3.1 Labelled Transition Systems (LTSs).- 3.3.2 Basic and Communicating Rule Systems.- 3.3.3 Interleaving Semantics.- 4 Protocol Engineering with Formal Description Techniques.- 4.1 Executable FDTs.- 4.1.1 Estelle, SDL, and PASS.- 4.1.2 Petri Nets.- 4.1.3 LOTOS.- 4.1.4 Logic interpreters.- 4.2 Protocol Engineering Environments.- 4.2.1 Validation environments.- 4.2.2 Implementation environments.- 4.2.3 Testing environments.- 4.2.4 Integrated environments.- 5 Protocol Engineering with Communicating Rule Systems.- 5.1 Executable CRS.- 5.1.1 Implementation Concepts.- 5.1.2 Runtime Environment.- 5.1.3 Compilation.- 5.2 CRS Integrated Tools Environment.- 5.2.1 Architecture.- 5.2.2 Kernel.- 5.2.3 Shells.- 5.2.4 Selected Application Tools.- 6 Conclusions.- 6.1 Summary of Results.- 6.2 Implementation Status and Early Experiences.- 6.3 Prospects and Future Work.- References.

        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