Formal Methods for Mobile Computing
de Marco Bernardo, Alessandro Bogliolo
Ediciones (1)
- Formal Methods for Mobile Computing (2005)
Springer London, Limited · inglés · ISBN 9783540320210
de Marco Bernardo, Alessandro Bogliolo
Springer London, Limited · inglés · ISBN 9783540320210