Electronic Books

Total Books: 1 - 1 /1
Formal Methods for Mobile Computing

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

Lire la suite
Total Books: 1 - 1 /1