{"product_id":"algoritmy-werifikacii-i-proizwoditelnosti-setewyh-protokolow-von-shawkat-saidahmedow","title":"Algoritmy werifikacii i proizwoditel'nosti setewyh protokolow","description":"\u003cp\u003eMonografiq poswqschena opisaniü i prakticheskoj realizacii protokol'nyh ob#ektow osnowannyh na logicheskuü i procedurnuü harakteristiki s ispol'zowaniem posledowatel'noj shemy modelirowaniq (blok-shemy), cherez «uslowiq i sobytiq» na osnowe algoritma ih funkcionirowaniq i setej Petri. Vse, o chem napisano w ätoj monografii, sostawlqet obobschenie nekotorogo opyta i znanij o werifikacii i proizwoditel'nosti protokolow s tochki zreniq komp'üternyh setej. Nesmotrq na to, chto awtor staralsq k shirote ohwata problemy, chitatel' pochuwstwowal, chto znaniq o werifikacii i proizwoditel'nosti protokolow esche daleko ne polny. Nauka zdes' nahoditsq esche w stadii stanowleniq. Jeto proqwlqetsq hotq by w tom, chto ne suschestwuet urawneniq sostoqniq i drugie matematicheskie wyrazheniq, dlq ocenki weroqtnostno-wremennyh harakteristik protokola s tochki zreniq ego prakticheskoj realizacii.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783659204722\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783659204722","offer_id":39439789752413,"sku":"9783659204722","price":32.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/35c7d1e9-9586-4420-890b-71bc68e63946.jpg?v=1773728242","url":"https:\/\/shop.autorenwelt.de\/products\/algoritmy-werifikacii-i-proizwoditelnosti-setewyh-protokolow-von-shawkat-saidahmedow","provider":"Autorenwelt Shop","version":"1.0","type":"link"}