Cantitate/Preț
Produs

Mobile Computing Systems: from informal to formal

Autor Laid Kahloul
en Limba Engleză Paperback – 22 mar 2023
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.
Citește tot Restrânge

Preț: 24169 lei

Preț vechi: 30212 lei
-20% Nou

Puncte Express: 363

Preț estimativ în valută:
4627 4758$ 3838£

Carte tipărită la comandă

Livrare economică 18 februarie-04 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9786205823484
ISBN-10: 6205823489
Pagini: 64
Dimensiuni: 150 x 220 x 4 mm
Greutate: 0.1 kg
Editura: Our Knowledge Publishing

Notă biografică

Laid Kahloul é professora de informática na Universidade de Biskra, ligada ao Departamento de Informática. É também investigadora afiliada ao Laboratório de Computação Inteligente (LINFI). A sua investigação diz respeito ao uso de métodos formais no processo de software. É autor de vários artigos neste campo.