1099:-
Uppskattad leveranstid 7-11 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Iskhodya iz obshchikh predstavleniy ob ispolnenii posledovatel'nykh i parallel'nykh protsessov na vychislitel'nykh sistemakh vyvoditsya aksiomaticheskaya teoriya ob"ektno-sobytiynykh mdeley. Formuliruetsya ryad interesnykh predel'nykh teorem. Opredelyaetsya ravnomoshchnost' abstraktnoy predel'noy modeli mashine T'yuringa i real'noy predel'noy modeli protsedure s planirovaniem povtornogo vkhoda. Predlagaetsya mashina vyvoda modeley, unifitsiruyushchaya ikh strukturu i soderzhanie s dannymi o predmentoy oblasti. Predlozheny kontseptsii deduktsii i pryamogo porozhdeniya programm na baze modeley. Razvity idei effektivnogo posledovatel'nogo i parallel'nogo programmirovaniya nekotorykh algoritmov na protsedurakh s planirovaniem povtornogo vkhoda. Vvoditsya ponyatie metasloya programmy, zanimayushchegosya induktsiey/modelirovaniem algoritmov, dannykh i funktsional'nykh kharakteristik programm na baze predlagaemykh ob"ektno-sobytiynykh modeley. Prediktsiya sootvetstvuyushchikh aspektov programmy v metasloe daet informatsiyu dlya optimizatsii ee ispolneniya.
- Format: Pocket/Paperback
- ISBN: 9783848441044
- Språk: Engelska
- Antal sidor: 140
- Utgivningsdatum: 2012-03-20
- Förlag: LAP Lambert Academic Publishing