Electronic Books

Total Books: 1 - 1 /1
978-3-540-32021-0
Formal Methods for Mobile Computing

This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...

Continue reading
Total Books: 1 - 1 /1