The book is currently out of stock
Formal methods for mobile computing
Authors
Parameters
More about the book
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.
Book purchase
Formal methods for mobile computing, Marco Bernardo
- Language
- Released
- 2005
We’ll notify you via email once we track it down.
Payment methods
- Title
- Formal methods for mobile computing
- Language
- English
- Authors
- Marco Bernardo
- Publisher
- Springer
- Released
- 2005
- ISBN10
- 3540256970
- ISBN13
- 9783540256977
- Series
- Lecture notes in computer science
- Category
- Computers, IT, Programming
- Description
- 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.