Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
まだ評価がありません
2010
·
英語
·
ペーパーバック