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

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

Marco Bernardo , Alessandro Bogliolo
No ratings yet
Jun 13, 2008 · English · Paperback (280 pages)
Add To Shelf

Rate this book

Export Book Journal

Reviews

No reviews yet

Be the first to review this book and share your thoughts

Sign In to Review
Add To Shelf

Rate this book

Export Book Journal