プログラム検証論
正誤表
ページ
位置
誤
正
20
l.-8
a=-2に
a=-3に
55
l.-1
除算の
減算の
56
l.7
除算の
減算の
64
l.16
≦(0,3)の
≦(0,1)の
105
l.-2
始めて
初めて
162
l.12
dounble
double
書誌情報
著者
林晋
題名
プログラム検証論
出版者
共立出版
シリーズ
情報数学講座 8
出版地
東京
ISBN
4-320-02658-6
発行
1995-09-01 初版1刷
正誤表のトップに戻る