MENÜ MENÜ
  • Sie verwenden einen veralteten Webbrowser, weshalb es zu Problemen mit der Darstellung kommen kann. Bei Problemen mit der Bestellabgabe können Sie gerne auch telefonisch bestellen unter: 01805 565554 (0,14€/min, mobil max.0,42€/min)

Langages de scénarios

Gazagnaire:Langages de scénarios
Autor: Thomas Gazagnaire
Verfügbarkeit: Auf Lager.
Artikelnummer: 791337
ISBN / EAN: 9786131513084

Verfügbarkeit: sofort lieferbar

59,00
Inkl. MwSt. , zzgl. Versandkosten

Produktbeschreibung

Ce livre se place dans le cadre de la modélisation et de l'analyse de systèmes parallèles et répartis. Plus précisément, il s'intéresse à la modélisation, la vérification et la supervision de systèmes composés d'entités indépendantes interagissant localement par mémoire partagée et globalement par échange asynchrone de messages. Dans ce contexte, plutôt que de modéliser séparément chaque entité, puis d'analyser les comportements qui peuvent se produire lorsque ces entités interagissent, ce livre fournit une théorie permettant de modéliser globalement le système considéré tout en conservant des propriétés de vérification et de supervision décidables. Cette théorie se base sur le formalisme des ordres partiels étiquetés, appelés "pomsets".

Zusatzinformation

Autor Verlag Éditions universitaires européennes
ISBN / EAN 9786131513084 Bindung Taschenbuch

Sie könnten auch an folgenden Produkten interessiert sein

Titelliste

0 Kundenmeinungen

Bitte schreiben Sie uns Ihre Meinung zu: Langages de scénarios