Name: Mobile Computing Systems: from informal to formal (en Inglés)
SKU: 58562948
Price: 1052.33 MXN
Availability: InStock
Author: Kahloul, Laid
ISBN: 9786205823484

portada Mobile Computing Systems: from informal to formal (en Inglés)

Mobile Computing Systems: from informal to formal (en Inglés)

Formato

Libro Físico

Autor

Laid Kahloul

Editorial

Our Knowledge Publishing

Idioma

Inglés

N° páginas

Encuadernación

Tapa Blanda

Dimensiones

22.9x15.2x0.4 cm

Peso

0.10 kg.

ISBN13

9786205823484

Categorías

Tecnología de la información: cuestiones generales

Mobile Computing Systems: from informal to formal (en Inglés)

Laid Kahloul (Autor) · Our Knowledge Publishing · Tapa Blanda

Libro Nuevo Importado

Envío: 22 a 27 días háb.

$ 1,753.88$ 1,052.33

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 1,052.33

¡Envío Gratis! Llega entre el 08 Oct y el 16 Oct a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Mobile Computing Systems: from informal to formal (en Inglés)"

Mobile computing refers to both aspects: hardware mobility and software mobility. Mobile computing on its software aspect, concerns the migration of code from one site to another. This mobility was the first to be proposed during the early days of distributed and parallel systems with the objective of: balancing the load between processors by task migration or to ensure fault tolerance. Mobility on the hardware side often refers to mobile devices, further enhanced by the development of wireless networks (either WIFI or cellular). Software mobility has experienced an important and innovative trend with the emergence of the Internet and therefore, the transformation of distributed systems with local and limited networks to distributed systems on a global scale. Developing mobile systems (hardware/software) requires a well-tailored software process in all phases of development, from analysis to coding and testing. The objective of this book is to show the use of formal methods for mobile computing systems.