Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Processus Concurrents Et Systèmes Parallèles- Aspects Pratiques

by Benarous-L
Save 17% Save 17%
Current price ₹3,300.00
Original price ₹3,960.00
Original price ₹3,960.00
Original price ₹3,960.00
(-17%)
₹3,300.00
Current price ₹3,300.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783841672469
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Omniscriptum
  • Publisher Imprint: Omniscriptum
  • Publication Date:
  • Pages: 72
  • Original Price: GBP 26.0
  • Language: French
  • Edition: N/A
  • Item Weight: 118 grams
  • BISAC Subject(s): General

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.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us