{"product_id":"sistemi-informatici-mobili-dallinformale-al-formale-von-laid-kahloul","title":"Sistemi informatici mobili: dall'informale al formale","description":"\u003cp\u003eL'informatica mobile si riferisce a entrambi gli aspetti: mobilità hardware e mobilità software. Per quanto riguarda il software, il mobile computing si riferisce alla migrazione del codice da un sito all'altro. Questa mobilità è stata proposta per la prima volta agli albori dei sistemi distribuiti e paralleli con l'obiettivo di: bilanciare il carico tra i processori mediante la migrazione dei task o garantire la tolleranza ai guasti. La mobilità dal punto di vista hardware si riferisce spesso a dispositivi mobili, ulteriormente potenziati dallo sviluppo di reti wireless (WIFI o cellulari). La mobilità del software ha conosciuto una tendenza importante e innovativa con l'emergere di Internet e quindi la trasformazione dei sistemi distribuiti con reti locali e limitate in sistemi distribuiti a livello globale. Lo sviluppo di sistemi mobili (hardware\/software) richiede un processo di software ben adattato in tutte le fasi di sviluppo, dall'analisi alla codifica e al test. L'obiettivo di questo libro è mostrare l'uso di metodi formali per i sistemi di mobile computing.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786205823507\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786205823507","offer_id":46438975013189,"sku":"9786205823507","price":43.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/949fb9b9-cf0e-43d1-8f8e-37e23417425c.jpg?v=1758431616","url":"https:\/\/shop.autorenwelt.de\/products\/sistemi-informatici-mobili-dallinformale-al-formale-von-laid-kahloul","provider":"Autorenwelt Shop","version":"1.0","type":"link"}