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 : adv

Publication Data

Title 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 : adv
Contributors Marco Bernardo, Alessendro Bogliolo
Publisher Springer
Publication date 2005
Publication location Berlin
Language English

Descriptive Notes

Papers from the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, held at Bertinoro, Italy, April 26-30, 2005.

Topics

Mobile computing :: Congresses
Mobile communication systems :: Congresses

Catalogue Data

OBNB ID GBA542957
ISBN 10 3540256970
ISBN 13 9783540256977
Type BibliographicResource, Book
Dewey Classification 004.6

ISBD

P1053 vi, 270 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

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 : adv. ISBN 9783540256977. Published by Springer in 2005. Publication and catalogue information, links to buy online and reader comments.