Formal Specification and Documentation Using Z: A Case Study Approach
まだ評価がありません
1996
·
英語
·
ペーパーバック