プログラム検証論
CiNii
Available at 221 libraries
Bibliographic Information
- Title
- "プログラム検証論"
- Statement of Responsibility
- 林晋著
- Publisher
-
- 共立出版
- Publication Year
-
- 1995.9
- Book size
- 22cm
- Other Title
-
- プログラム ケンショウロン
Search this Book/Journal
Notes
参考文献: p[199]-201. 索引: 巻末
- Tweet
Details 詳細情報について
-
- CRID
- 1130282272342761984
-
- NII Book ID
- BN13003812
-
- ISBN
- 4320026586
-
- Text Lang
- ja
-
- Country Code
- ja
-
- Title Language Code
- ja
-
- Place of Publication
-
- 東京
-
- Subject
-
- NDLSH: プログラミング用言語
- NDLSH: プログラミング(電子計算機)
- BSH: 電子計算機 -- プログラミング
-
- Data Source
-
- CiNii Books