-
Ruský jazyk
Algoritmy verifikatsii i proizvoditel'nosti setevykh protokolov
Autor: Shawkat Saidahmedow
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... Viac o knihe
Na objednávku, dodanie 2-4 týždne
30.51 €
bežná cena: 33.90 €
O knihe
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.
- Vydavateľstvo: LAP LAMBERT Academic Publishing
- Rok vydania: 2014
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Ruský jazyk
- ISBN: 9783659204722
Nemecký jazyk 
Anglický jazyk 
