
* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Formal Methods for Mobile Computing(English, Electronic book text, Bernardo Marco) is written by Bernardo Marco and published by Springer Verlag Berlin Heidelberg. It's available with International Standard Book Number or ISBN identification 3540320210 (ISBN 10) and 9783540320210 (ISBN 13).