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
| ISBN: | 9783540256977 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 272 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Bernardo, Marco Bogliolo, Alessandro |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 13.04.2005 |
| Untertitel: | 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 |
| Schlagworte: | IEEE 80 IEEE 802.11 Middleware Scala ad-hoc wireless networking agent-based middleware automata formal methods mobile computing mobile distributed programming |
Anmelden