プログラム検証論
- フォーマット:
- 図書
- 責任表示:
- 林晋著
- 言語:
- 日本語
- 出版情報:
- 東京 : 共立出版, 1995.9
- 形態:
- xi, 211p ; 22cm
- 著者名:
- 林, 晋(1953-) <DA02963363>
- シリーズ名:
- 情報数学講座 ; 8 <BN09103438>
- 書誌ID:
- BN13003812
- ISBN:
- 9784320026582 [4320026586]
類似資料:
遊星社, 星雲社 (発売) |
共立出版 |
共立出版 |
サイエンス社 |
日本コンピュータ協会 |
岩波書店 |
技術評論社 |
啓学出版 |
近代科学社 |
森北出版 |
共立出版 |
オーム社 |