Deductive program design
- 責任表示:
- edited by Manfred Broy
- シリーズ名:
- NATO ASI series. Series F, Computer and systems sciences
- シリーズ巻号:
- 152
- 出版情報:
- Berlin: Springer, 1996
- ISSN:
- 02581248
- ISBN:
- 9783540609476 [3540609474]
- 請求記号:
- N11483/152
- 資料種別:
- 国際会議録
類似資料:
Springer-Verlag |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery |