Laid KAHLUL

Mobil'nye wychislitel'nye sistemy: ot neformal'nyh k formal'nym

• Broschiertes Buch

Produktbeschreibung

Mobil'nye wychisleniq otnosqtsq k oboim aspektam: mobil'nost' apparatnogo obespecheniq i mobil'nost' programmnogo obespecheniq. Mobil'nye wychisleniq s programmnoj storony otnosqtsq k perenosu koda s odnogo sajta na drugoj. Takaq mobil'nost' byla wperwye predlozhena na zare razwitiq raspredelennyh i parallel'nyh sistem s cel'ü: sbalansirowat' nagruzku mezhdu processorami putem migracii zadach ili obespechit' otkazoustojchiwost'. Mobil'nost' s apparatnoj storony chasto otnositsq k mobil'nym ustrojstwam, chto esche bol'she usililos' s razwitiem besprowodnyh setej (WIFI ili sotowyh). Mobil'nost' programmnogo obespecheniq perezhila wazhnuü innowacionnuü tendenciü s poqwleniem Interneta i, takim obrazom, transformaciej raspredelennyh sistem s lokal'nymi i ogranichennymi setqmi w raspredelennye sistemy global'nogo masshtaba. Razrabotka mobil'nyh sistem (apparatnoe/programmnoe obespechenie) trebuet horosho produmannogo programmnogo processa na wseh ätapah razrabotki, ot analiza do kodirowaniq i testirowaniq. Cel' ätoj knigi - pokazat' ispol'zowanie formal'nyh metodow dlq mobil'nyh wychislitel'nyh sistem.

Produktdetails

• Verlag: Sciencia Scripts
• Seitenzahl: 68
• Erscheinungstermin: 23. März 2023
• Russisch
• Abmessung: 220mm x 150mm x 5mm
• Gewicht: 119g
• ISBN-13: 9786205825112
• ISBN-10: 6205825112
• Artikelnr.: 67664761

Autorenporträt

Laid Kahlul - professor informatiki w Uniwersitete Biskry, rabotaet na kafedre komp'üternyh nauk. On takzhe qwlqetsq nauchnym sotrudnikom Laboratorii intellektual'nyh wychislenij (LINFI). Ego issledowaniq kasaütsq ispol'zowaniq formal'nyh metodow w processe razrabotki programmnogo obespecheniq. On qwlqetsq awtorom neskol'kih statej w ätoj oblasti.