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
International School on Formal Methods for the Design of Computer Communication, and Software Systems (5th 2005 Bertinoro, Italy) Marco Bernardo; Alessandro Bogliolo
Berlin Springer New York 2005
Acesso online. A biblioteca também possui exemplares impressos.