書誌データ

---

Jcode	c
NDC	n
code	4-320-02658-6
ISBN13	9784320026582
商品名	プログラム検証論
作者	林晋
出版社	共立出版
シリーズ	情報数学講座　8
サイズ	-
出版日	1995
版刷	初版1刷
定価	3200
頁	228p
函：帯	-：-
解題	-

この本についてtweet出来ます

---

[前頁]