Das Buch ist derzeit nicht auf Lager
Parameter
Mehr zum Buch
InhaltsverzeichnisModels 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.
Buchkauf
Formal methods for mobile computing, Marco Bernardo
- Sprache
- Erscheinungsdatum
- 2005
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Formal methods for mobile computing
- Sprache
- Englisch
- Autor*innen
- Marco Bernardo
- Verlag
- Springer
- Verlag
- 2005
- ISBN10
- 3540256970
- ISBN13
- 9783540256977
- Kategorie
- Informatik & Programmierung
- Beschreibung
- InhaltsverzeichnisModels 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.