Formal Methods for Executable Software Models (14th International School on Formal Methods for the Design of Computer, Communication, and Software)
まだ評価がありません
May 21, 2014
·
英語
·
ペーパーバック
(351 ページ)