-
Ruský jazyk
Teoriq ob#ektno-sobytijnyh modelej.
Autor: Vladimir Pekunow
Ishodq 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'... Viac o knihe
Na objednávku
54.63 €
bežná cena: 60.70 €
O knihe
Ishodq 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.
- Vydavateľstvo: LAP LAMBERT Academic Publishing
- Rok vydania: 2012
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Ruský jazyk
- ISBN: 9783848441044
Nemecký jazyk 
Anglický jazyk 
