{"product_id":"sistemas-informaticos-moviles-de-lo-informal-a-lo-formal-von-laid-kahloul","title":"Sistemas informáticos móviles: de lo informal a lo formal","description":"\u003cp\u003eLa informática móvil se refiere a ambos aspectos: movilidad de hardware y movilidad de software. En su vertiente de software, la informática móvil se refiere a la migración de código de un sitio a otro. Esta movilidad fue la primera que se propuso durante los primeros tiempos de los sistemas distribuidos y paralelos con el objetivo de: equilibrar la carga entre procesadores mediante la migración de tareas o para garantizar la tolerancia a fallos. En cuanto al hardware, la movilidad suele referirse a los dispositivos móviles, potenciada por el desarrollo de las redes inalámbricas (WIFI o celulares). La movilidad del software ha experimentado una tendencia importante e innovadora con la aparición de Internet y, por tanto, la transformación de los sistemas distribuidos con redes locales y limitadas en sistemas distribuidos a escala mundial. El desarrollo de sistemas móviles (hardware\/software) requiere un proceso de software bien adaptado en todas las fases del desarrollo, desde el análisis hasta la codificación y las pruebas. El objetivo de este libro es mostrar el uso de métodos formales para los sistemas informáticos móviles.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786205823491\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786205823491","offer_id":46438980452677,"sku":"9786205823491","price":43.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/98fca8b0-897f-44b0-89af-e4691103e2c2.png?v=1758516116","url":"https:\/\/shop.autorenwelt.de\/products\/sistemas-informaticos-moviles-de-lo-informal-a-lo-formal-von-laid-kahloul","provider":"Autorenwelt Shop","version":"1.0","type":"link"}