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
Bequeme Ratenzahlung möglich! Ratenrechner
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005.SFM... mehr
2005, 284 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
Springer Berlin Heidelberg
ISBN-10: 3540256970
ISBN-13: 9783540256977
Springer Berlin Heidelberg
ISBN-10: 3540256970ISBN-13: 9783540256977
Produkt-Beschreibung zu: Formal Methods for Mobile Computing
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005.SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.
Weitere Artikel zum Thema:
Empfehlen Sie diesen Artikel weiter:
"Formal Methods for Mobile Computing" weiterempfehlen
Das meinen unsere Kunden zu: Formal Methods for Mobile Computing
0 Kundenkommentare (noch nicht bewertet)
ausgezeichnet:
(0)
sehr gut:
(0)
gut:
(0)
weniger gut:
(0)
schlecht:
(0)
Schreiben Sie den ersten Kommentar zu "Formal Methods for Mobile Computing" und nutzen Sie die Gewinnchance zum "Kommentar des Monats". 

Zuletzt betrachtet
Sie befinden sich hier: Home > Bücher > Computer & Internet > Mobile Endgeräte > Formal Methods for Mobile Computing










