Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ...
まだ評価がありません
Jun 13, 2008
·
英語
·
ペーパーバック
(280 ページ)