Langages de Scenarios

Name: Langages de Scenarios
Brand: Éditions universitaires européennes
SKU: 9786131513084
Price: 267.38 RON
Availability: InStock

Autor: Thomas Gazagnaire

Limbă:

Legare: Carte broșată

Editura: Éditions universitaires européennes

Disponibilitate: În depozitul extern

Expediem în 8-11 zile

267.38 lei

Ce livre se place dans le cadre de la modélisation et de l'analyse de systčmes parallčles et réparti...

Informații despre carte

Autor

Thomas Gazagnaire

Limbă

franceză

Legare

Carte - Carte broșată

Publicat

2010

Pagini

188

EAN

9786131513084

ISBN

6131513082

Enbook ID

06944828

Editura

Éditions universitaires européennes

Greutate

281

Dimensiuni

152 x 229 x 11

Descriere completă

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

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Langages de Scenarios

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și