Mohlo by sa vám tiež páčiť

Viac informácií o knihe Formal Methods for Mobile Computing

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 175 bodov

Anotácia knihy

This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005.§SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer networking & communications

• Celý názov: Formal Methods for Mobile Computing
• Podnázov: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
• Autor: Marco Bernardo, Alessandro Bogliolo
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 272
• EAN: 9783540256977
• ISBN: 3540256970
• ID: 01560596
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 900 g
• Rozmery: 235 × 155 × 16 mm
• Dátum vydania: 13. April 2005

Obľúbené z iného súdka

---

---

---