{ "item_title" : "Processus Concurrents Et Systèmes Parallèles- Aspects Pratiques", "item_author" : [" Benarous-L "], "item_description" : "L'exigence d'avoir des syst mes concurrents fiables imposetout concepteur (de tels syst mes) d'adopter une d marche rigoureuse de la premi retape 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 cessitl'apprentissage du langage Promela et l'utilisation de l'outil logiciel associsavoir le simulateur SPIN. Les applications r alis es ont concernplusieurs aspectstudi s durant notre cursus mais de mani re th orique. Les applications ontttendues aux syst mes repartis et plus particuli rement les algorithmes d' lection. De plus, un int r t atportl'aspect v rification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre d'application, nous avons mod liset validle protocole KERBEROS lequel est un protocole d'authentification.", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/3/84/167/246/3841672469_b.jpg", "price_data" : { "retail_price" : "40.00", "online_price" : "40.00", "our_price" : "40.00", "club_price" : "40.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details