Processus Concurrents Et Systemes Paralleles- Aspects Pratiques

Name: Processus Concurrents Et Systemes Paralleles- Aspects Pratiques
Brand: Omniscriptum
SKU: 9783841672469
Price: 135.06 PLN
Availability: InStock

Autor: Benarous Leila

Język:

Oprawa: Miękka

Wydawca: Omniscriptum

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

135.06 zł

L'exigence d'avoir des systčmes concurrents fiables impose ŕ tout concepteur (de tels systčmes) d'ad...

Informacje o książce

Autor

Benarous Leila

Język

Francuski

Oprawa

Książka - Miękka

Data wydania

2018

strony

EAN

9783841672469

ISBN

9783841672469

Enbook ID

10900425

Wydawca

Omniscriptum

Waga

118

Wymiary

152 x 229 x 4

Pełny opis

L'exigence d'avoir des systčmes concurrents fiables impose ŕ tout concepteur (de tels systčmes) d'adopter une démarche rigoureuse de la premičre étape de conception jusqu'ŕ sa réalisation finale. Les travaux réalisés dans cet ouvrage concernent essentiellement la modélisation et la simulation des systčmes concurrents et répartis. Ainsi ces aspects ont nécessité l'apprentissage du langage Promela et l'utilisation de l'outil logiciel associé ŕ savoir le simulateur SPIN. Les applications réalisées ont concerné plusieurs aspects étudiés durant notre cursus mais de maničre théorique. Les applications ont été étendues aux systčmes repartis et plus particuličrement les algorithmes d'élection. De plus, un intéręt a été porté ŕ l'aspect vérification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre d'application, nous avons modélisé et validé le protocole KERBEROS lequel est un protocole d'authentification.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Processus Concurrents Et Systemes Paralleles- Aspects Pratiques

Informacje o książce

Pełny opis

Możesz być zainteresowany

Lettre A MM. Les Deputes. d'Ou Je Viens. Ce Que Je Suis. Ce Que Je Veux

Klienci, którzy kupili tę książkę, kupili również

Na saga dos anos 60

1984

Contributions From the University of Michigan Herbarium; v.11 (1973)

Never Open It: The Taboo Trilogy

TOUCHING DISTANCE

Henry Horner, Governor Of Illinois 1878-1940: A Tribute

Natan Mudryi

Flora Of Southern And Lower California: A Checklist Of The Flowering Plants And Ferns (1885)

Organizational Adaptation to Discontinuous Technological Change

What I Saw in America

The Happy Prince and Other Tales

Other World and This

Is It Christmas Yet?

From the Heart of a Teacher

Trafficked