The Weakest Prespecification II

書誌詳細
主要な著者: Hoare, C, He, J
フォーマット: Journal article
出版事項: 1986

類似資料