Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Lectures (Lecture Notes in Computer Science)

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Lectures (Lecture Notes in Computer Science)

by Marco Bernardo (Author), Alessandro Bogliolo (Author), Marco Bernardo (Author)

$54.10

Save:$2.02 (4%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 284
Edition: 2005
Publisher: Springer
Published: 13 Jun 2008

ISBN 10: 3540256970
ISBN 13: 9783540256977