Formal Methods for Mobile Computing Alessandro Bogliolo
Titel: Formal Methods for Mobile Computing, 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, Einband: Taschenbuch, Autor: Alessandro Bogliolo, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 284, Maße: 235x155x16 mm, Gewicht: 435 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines Internet / Protokolle, Sicherheit, Technik Mobile Computing IEEE 80 IEEE 802.11 Middleware Power management Scala Software Design Systems Design ad-hoc wireless networking agent-based middleware automata formal methods mobile computing mobile distributed programming performance analysis software development.
Jetzt bei Ebay:
