Vor Ort
Merkzettel Warenkorb
  • Produktbild: Formal Methods for Mobile Computing
  • Produktbild: Formal Methods for Mobile Computing

Formal Methods for Mobile Computing 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

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.04.2005

Herausgeber

Marco Bernardo + weitere

Verlag

Springer Berlin

Seitenzahl

272

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

435 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-25697-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.04.2005

Herausgeber

Verlag

Springer Berlin

Seitenzahl

272

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

435 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-25697-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Methods for Mobile Computing
  • Produktbild: Formal Methods for Mobile Computing
  • Models and Languages.- History-Dependent Automata: An Introduction.- Mobile Distributed Programming in X-Klaim.- Scalability and Performance.- Dealing with Node Mobility in Ad Hoc Wireless Network.- Performance Analysis of Mobile Systems.- Dynamic Power Management.- A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management.- Dynamic Power Management Strategies Within the IEEE 802.11 Standard.- Middleware Support.- Network Swapping.- Hermes: Agent-Based Middleware for Mobile Computing.