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
Edición de la obra Formal Methods for Mobile Computing
| Autor | Marco Bernardo, Alessandro Bogliolo |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2005 |
| Idioma | inglés |
| Páginas | 272 |
| ISBN-13 | 9783540320210 |
| Número de Cutter | B523f |