---

＜図書＞
プログラム ケンショウロン
プログラム検証論 / 林晋著
(情報数学講座 ; 8)

出版者	東京 : 共立出版
出版年	1995.9
本文言語	日本語
大きさ	xi, 211p ; 22cm
著者標目	*林, 晋(1953-) <ハヤシ, ススム>
件　名	NDLSH:プログラミング用言語 NDLSH:プログラミング(電子計算機) BSH:電子計算機 -- プログラミング  全ての件名で検索
一般注記	参考文献: p[199]-201. 索引: 巻末

 類似資料