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.