Shawkat Saidahmedow

Algoritmy werifikacii i proizwoditel'nosti setewyh protokolow

• Broschiertes Buch

Produktbeschreibung

Monografiya posvyashchena opisaniyu i prakticheskoy realizatsii protokol'nykh ob"ektov osnovannykh na logicheskuyu i protsedurnuyu kharakteristiki s ispol'zovaniem posledovatel'noy skhemy modelirovaniya (blok-skhemy), cherez "usloviya i sobytiya" na osnove algoritma ikh funktsionirovaniya i setey Petri. Vse, o chem napisano v etoy monografii, sostavlyaet obobshchenie nekotorogo opyta i znaniy o verifikatsii i proizvoditel'nosti protokolov s tochki zreniya komp'yuternykh setey. Nesmotrya na to, chto avtor staralsya k shirote okhvata problemy, chitatel' pochuvstvoval, chto znaniya o verifikatsii i proizvoditel'nosti protokolov eshche daleko ne polny. Nauka zdes' nakhoditsya eshche v stadii stanovleniya. Eto proyavlyaetsya khotya by v tom, chto ne sushchestvuet uravneniya sostoyaniya i drugie matematicheskie vyrazheniya, dlya otsenki veroyatnostno-vremennykh kharakteristik protokola s tochki zreniya ego prakticheskoy realizatsii.

Produktdetails

• Verlag: LAP Lambert Academic Publishing
• Seitenzahl: 120
• Erscheinungstermin: 11. April 2014
• Russisch
• Abmessung: 220mm x 150mm x 8mm
• Gewicht: 197g
• ISBN-13: 9783659204722
• ISBN-10: 3659204722
• Artikelnr.: 40874341

Autorenporträt

Saidahmedow Shawkat Husanowich k.t.n., s.n.s. V nastoqschee wremq qwlqetsq starshim nauchnym sotrudnikom Centra po razrabotke programmnyh produktow (PP) i apparatno- programmnyh komplexow (APK) pri Tashkentskom uniwersitete informacionnyh tehno-logij (TUIT) Ministerstwa po razwitiü informacionnyh tehnologij i kommunikacij ¿ RUz.