Constructing Correct Software (Formal Approaches to Computing and Information Technology
まだ評価がありません
1999
·
英語
·
ペーパーバック