Könyv Processus Concurrents Et Systemes Paralleles- Aspects Pratiques Benarous Leila

Processus Concurrents Et Systemes Paralleles- Aspects Pratiques

Szerző: Benarous Leila
Nyelv: Francia
Kötés: Puha kötésű
Kiadó: Omniscriptum
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
12 098 Ft
L'exigence d'avoir des systčmes concurrents fiables impose ŕ tout concepteur (de tels systčmes) d'ad...

Információk a könyvről

Szerző
Nyelv
Francia
Kötés
Könyv - Puha kötésű
Kiadva
2018
oldal
72
EAN
9783841672469
ISBN
9783841672469
Enbook ID
10900425
Kiadó
Súly
118
Méretek
152 x 229 x 4

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Na saga dos anos 60

Carlos Olavo da Cunha Pereira
9 454 Ft
4 170 Ft
8 924 Ft
4 714 Ft

Natan Mudryi

Gotthold Ephraim Lessing
13 081 Ft

What I Saw in America

G. K. Chesterton
3 017 Ft

Other World and This

Augusta W Fletcher
12 457 Ft
2 918 Ft
3 686 Ft

Trafficked

Sophie Hayes
3 959 Ft