Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ...

Name: Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ...
ISBN: 9783540256977

Marco Bernardo , Alessandro Bogliolo

还没有评分