Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
まだ評価がありません
Sep 27, 2010
·
英語
·
ペーパーバック
(273 ページ)