Data & IT
Pocket
Algoritmy Verifikatsii I Proizvoditel'nosti Setevykh Protokolov
Saidakhmedov Shavkat
619:-
Uppskattad leveranstid 7-11 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Pocket/Paperback
- ISBN: 9783659204722
- Språk: Engelska
- Antal sidor: 120
- Utgivningsdatum: 2014-04-11
- Förlag: LAP Lambert Academic Publishing