本の詳細
形式
ペーパーバック
ページ数
280
言語
英語
公開されました
Jun 13, 2008
出版社
Springer
ISBN-10
3540256970
ISBN-13
9783540256977
説明
This collection showcases the expertise of prominent researchers who contributed to the 5th International School on Formal Methods for Mobile Computing. Through eight comprehensive tutorial survey papers, readers are invited into the intricate world of formal methods applied to the design of computer, communication, and software systems.
The authors, Marco Bernardo and Alessandro Bogliolo, expertly compile insights that bridge theory and practical application. The contributions provide invaluable perspectives for those looking to deepen their understanding of mobile computing and formal analysis.
Tailored for academics and industry professionals alike, this work not only highlights cutting-edge advancements but also fosters strong foundations in understanding formal methodologies. It is an essential resource for anyone aiming to navigate the complexities of modern computing systems.
The authors, Marco Bernardo and Alessandro Bogliolo, expertly compile insights that bridge theory and practical application. The contributions provide invaluable perspectives for those looking to deepen their understanding of mobile computing and formal analysis.
Tailored for academics and industry professionals alike, this work not only highlights cutting-edge advancements but also fosters strong foundations in understanding formal methodologies. It is an essential resource for anyone aiming to navigate the complexities of modern computing systems.