{"product_id":"teoriq-ob-ektno-sobytijnyh-modelej-von-vladimir-pekunow","title":"Teoriq ob#ektno-sobytijnyh modelej.","description":"\u003cp\u003eIshodq iz obschih predstawlenij ob ispolnenii posledowatel'nyh i parallel'nyh processow na wychislitel'nyh sistemah wywoditsq axiomaticheskaq teoriq ob#ektno-sobytijnyh mdelej. Formuliruetsq rqd interesnyh predel'nyh teorem. Opredelqetsq rawnomoschnost' abstraktnoj predel'noj modeli mashine T'üringa i real'noj predel'noj modeli procedure s planirowaniem powtornogo whoda. Predlagaetsq mashina wywoda modelej, unificiruüschaq ih strukturu i soderzhanie s dannymi o predmentoj oblasti. Predlozheny koncepcii dedukcii i prqmogo porozhdeniq programm na baze modelej. Razwity idei äffektiwnogo posledowatel'nogo i parallel'nogo programmirowaniq nekotoryh algoritmow na procedurah s planirowaniem powtornogo whoda. Vwoditsq ponqtie metasloq programmy, zanimaüschegosq indukciej\/modelirowaniem algoritmow, dannyh i funkcional'nyh harakteristik programm na baze predlagaemyh ob#ektno-sobytijnyh modelej. Predikciq sootwetstwuüschih aspektow programmy w metasloe daet informaciü dlq optimizacii ee ispolneniq.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783848441044\"\u003e\u003ch3\u003eIndukciq, modelirowanie i sintez posledowatel'nyh i parallel'nyh programm\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783848441044","offer_id":39493590810717,"sku":"9783848441044","price":59.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/acfd8534-00c0-4702-83b5-2b360835a00c.jpg?v=1755667837","url":"https:\/\/shop.autorenwelt.de\/products\/teoriq-ob-ektno-sobytijnyh-modelej-von-vladimir-pekunow","provider":"Autorenwelt Shop","version":"1.0","type":"link"}