Mohlo by se vám také líbit

Více informací o knize Langages de Scenarios

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 177 bodů

Anotace knihy

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".

Parametry knihy

• Plný název: Langages de Scenarios
• Autor: Thomas Gazagnaire
• Jazyk: Francouzština
• Vazba: Brožovaná
• Počet stran: 188
• EAN: 9786131513084
• ISBN: 6131513082
• ID: 06944828
• Nakladatelství: Éditions universitaires européennes
• Hmotnost: 281 g
• Rozměry: 229 × 152 × 11 mm
• Datum vydání: 13. June 2010

Oblíbené z jiného soudku

---

---

---