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
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Marco Bernardo
Themen in »Formal Methods for Mobile Computing«
IEEE 80 IEEE 802.11 Middleware Scala ad-hoc wireless networking agent-based middleware automata formal methods mobile computing mobile distributed programming performance analysis power management software design software development systems design
Stimmen zu »Formal Methods for Mobile Computing«
Details
ISBN: 9783540320210
Verlag: Springer Berlin
Erscheinung: 25.04.2005